Change tau to lambda (#177)

SpectralSequences · Oct 31, 2024 · 1e7f811 · 1e7f811
1 parent 009c9b7
commit 1e7f811
Show file tree

Hide file tree

Showing 40 changed files with 307 additions and 278 deletions.
diff --git a/calculator/steenrod_calculator_wasm_bg.wasm b/calculator/steenrod_calculator_wasm_bg.wasm
diff --git a/docs/algebra/algebra/milnor_algebra/struct.MilnorProfile.html b/docs/algebra/algebra/milnor_algebra/struct.MilnorProfile.html
diff --git a/docs/algebra/algebra/steenrod_algebra/struct.AlgebraSpec.html b/docs/algebra/algebra/steenrod_algebra/struct.AlgebraSpec.html
diff --git a/docs/algebra/milnor_algebra/struct.MilnorProfile.html b/docs/algebra/milnor_algebra/struct.MilnorProfile.html
diff --git a/docs/algebra/module/rpn/struct.RPSpec.html b/docs/algebra/module/rpn/struct.RPSpec.html
diff --git a/docs/bivec/struct.BiVec.html b/docs/bivec/struct.BiVec.html
diff --git a/docs/ext/all.html b/docs/ext/all.html
@@ -23,4 +23,4 @@
     });
 </script>
 
-</head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../ext/index.html">ext</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li><li><a href="#constants">Constants</a></li><li><a href="#statics">Statics</a></li><li><a href="#traits">Traits</a></li><li><a href="#functions">Functions</a></li><li><a href="#types">Type Aliases</a></li></ul></section></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><h1>List of all items</h1><h3 id="structs">Structs</h3><ul class="all-items"><li><a href="chain_complex/struct.ChainMap.html">chain_complex::ChainMap</a></li><li><a href="chain_complex/struct.FiniteAugmentedChainComplex.html">chain_complex::FiniteAugmentedChainComplex</a></li><li><a href="chain_complex/struct.FiniteChainComplex.html">chain_complex::FiniteChainComplex</a></li><li><a href="chain_complex/struct.StemIterator.html">chain_complex::StemIterator</a></li><li><a href="chain_complex/finite_chain_complex/struct.FiniteAugmentedChainComplex.html">chain_complex::finite_chain_complex::FiniteAugmentedChainComplex</a></li><li><a href="chain_complex/finite_chain_complex/struct.FiniteChainComplex.html">chain_complex::finite_chain_complex::FiniteChainComplex</a></li><li><a href="nassau/struct.MilnorSubalgebra.html">nassau::MilnorSubalgebra</a></li><li><a href="nassau/struct.Resolution.html">nassau::Resolution</a></li><li><a href="nassau/struct.SenderData.html">nassau::SenderData</a></li><li><a href="nassau/struct.SignatureIterator.html">nassau::SignatureIterator</a></li><li><a href="nassau/struct.SubalgebraIterator.html">nassau::SubalgebraIterator</a></li><li><a href="resolution/struct.MuResolution.html">resolution::MuResolution</a></li><li><a href="resolution/struct.SenderData.html">resolution::SenderData</a></li><li><a href="resolution_homomorphism/struct.MuResolutionHomomorphism.html">resolution_homomorphism::MuResolutionHomomorphism</a></li><li><a href="save/struct.ChecksumReader.html">save::ChecksumReader</a></li><li><a href="save/struct.ChecksumWriter.html">save::ChecksumWriter</a></li><li><a href="save/struct.SaveFile.html">save::SaveFile</a></li><li><a href="secondary/struct.SecondaryComposite.html">secondary::SecondaryComposite</a></li><li><a href="secondary/struct.SecondaryHomotopy.html">secondary::SecondaryHomotopy</a></li><li><a href="secondary/struct.SecondaryResolution.html">secondary::SecondaryResolution</a></li><li><a href="utils/struct.Config.html">utils::Config</a></li><li><a href="utils/struct.LogWriter.html">utils::LogWriter</a></li><li><a href="utils/logging/struct.LogWriter.html">utils::logging::LogWriter</a></li><li><a href="utils/logging/struct.Throughput.html">utils::logging::Throughput</a></li></ul><h3 id="enums">Enums</h3><ul class="all-items"><li><a href="chain_complex/enum.ChainComplexGrading.html">chain_complex::ChainComplexGrading</a></li><li><a href="nassau/enum.Magic.html">nassau::Magic</a></li><li><a href="save/enum.SaveDirectory.html">save::SaveDirectory</a></li><li><a href="save/enum.SaveKind.html">save::SaveKind</a></li></ul><h3 id="traits">Traits</h3><ul class="all-items"><li><a href="chain_complex/trait.AugmentedChainComplex.html">chain_complex::AugmentedChainComplex</a></li><li><a href="chain_complex/trait.BoundedChainComplex.html">chain_complex::BoundedChainComplex</a></li><li><a href="chain_complex/trait.ChainComplex.html">chain_complex::ChainComplex</a></li><li><a href="chain_complex/trait.FreeChainComplex.html">chain_complex::FreeChainComplex</a></li><li><a href="secondary/trait.SecondaryLift.html">secondary::SecondaryLift</a></li></ul><h3 id="functions">Functions</h3><ul class="all-items"><li><a href="save/fn.open_file.html">save::open_file</a></li><li><a href="save/fn.open_files.html">save::open_files</a></li><li><a href="utils/fn.construct.html">utils::construct</a></li><li><a href="utils/fn.construct_nassau.html">utils::construct_nassau</a></li><li><a href="utils/fn.construct_standard.html">utils::construct_standard</a></li><li><a href="utils/fn.ext_tracing_subscriber.html">utils::ext_tracing_subscriber</a></li><li><a href="utils/fn.get_unit.html">utils::get_unit</a></li><li><a href="utils/fn.init_logging.html">utils::init_logging</a></li><li><a href="utils/fn.load_module_json.html">utils::load_module_json</a></li><li><a href="utils/logging/fn.ext_tracing_subscriber.html">utils::logging::ext_tracing_subscriber</a></li><li><a href="utils/logging/fn.init_logging.html">utils::logging::init_logging</a></li><li><a href="utils/fn.parse_module_name.html">utils::parse_module_name</a></li><li><a href="utils/fn.query_module.html">utils::query_module</a></li><li><a href="utils/fn.query_module_only.html">utils::query_module_only</a></li><li><a href="utils/fn.query_unstable_module.html">utils::query_unstable_module</a></li><li><a href="utils/fn.query_unstable_module_only.html">utils::query_unstable_module_only</a></li><li><a href="utils/fn.secondary_job.html">utils::secondary_job</a></li><li><a href="utils/fn.unicode_num.html">utils::unicode_num</a></li><li><a href="yoneda/fn.compute_kernel_image.html">yoneda::compute_kernel_image</a></li><li><a href="yoneda/fn.rate_adem_operation.html">yoneda::rate_adem_operation</a></li><li><a href="yoneda/fn.rate_milnor_operation.html">yoneda::rate_milnor_operation</a></li><li><a href="yoneda/fn.rate_operation.html">yoneda::rate_operation</a></li><li><a href="yoneda/fn.split_mut_borrow.html">yoneda::split_mut_borrow</a></li><li><a href="yoneda/fn.yoneda_representative.html">yoneda::yoneda_representative</a></li><li><a href="yoneda/fn.yoneda_representative_element.html">yoneda::yoneda_representative_element</a></li><li><a href="yoneda/fn.yoneda_representative_with_strategy.html">yoneda::yoneda_representative_with_strategy</a></li></ul><h3 id="types">Type Aliases</h3><ul class="all-items"><li><a href="type.CCC.html">CCC</a></li><li><a href="resolution/type.Resolution.html">resolution::Resolution</a></li><li><a href="resolution/type.UnstableResolution.html">resolution::UnstableResolution</a></li><li><a href="resolution_homomorphism/type.ResolutionHomomorphism.html">resolution_homomorphism::ResolutionHomomorphism</a></li><li><a href="resolution_homomorphism/type.UnstableResolutionHomomorphism.html">resolution_homomorphism::UnstableResolutionHomomorphism</a></li><li><a href="secondary/type.CompositeData.html">secondary::CompositeData</a></li><li><a href="utils/type.QueryModuleResolution.html">utils::QueryModuleResolution</a></li><li><a href="yoneda/type.Yoneda.html">yoneda::Yoneda</a></li></ul><h3 id="statics">Statics</h3><ul class="all-items"><li><a href="secondary/static.TAU_BIDEGREE.html">secondary::TAU_BIDEGREE</a></li></ul><h3 id="constants">Constants</h3><ul class="all-items"><li><a href="nassau/constant.MAX_NEW_GENS.html">nassau::MAX_NEW_GENS</a></li><li><a href="resolution/constant.MAX_NEW_GENS.html">resolution::MAX_NEW_GENS</a></li><li><a href="utils/constant.STATIC_MODULES_PATH.html">utils::STATIC_MODULES_PATH</a></li><li><a href="yoneda/constant.PENALTY_UNIT.html">yoneda::PENALTY_UNIT</a></li></ul></section></div></main></body></html>
+</head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../ext/index.html">ext</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li><li><a href="#constants">Constants</a></li><li><a href="#statics">Statics</a></li><li><a href="#traits">Traits</a></li><li><a href="#functions">Functions</a></li><li><a href="#types">Type Aliases</a></li></ul></section></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><h1>List of all items</h1><h3 id="structs">Structs</h3><ul class="all-items"><li><a href="chain_complex/struct.ChainMap.html">chain_complex::ChainMap</a></li><li><a href="chain_complex/struct.FiniteAugmentedChainComplex.html">chain_complex::FiniteAugmentedChainComplex</a></li><li><a href="chain_complex/struct.FiniteChainComplex.html">chain_complex::FiniteChainComplex</a></li><li><a href="chain_complex/struct.StemIterator.html">chain_complex::StemIterator</a></li><li><a href="chain_complex/finite_chain_complex/struct.FiniteAugmentedChainComplex.html">chain_complex::finite_chain_complex::FiniteAugmentedChainComplex</a></li><li><a href="chain_complex/finite_chain_complex/struct.FiniteChainComplex.html">chain_complex::finite_chain_complex::FiniteChainComplex</a></li><li><a href="nassau/struct.MilnorSubalgebra.html">nassau::MilnorSubalgebra</a></li><li><a href="nassau/struct.Resolution.html">nassau::Resolution</a></li><li><a href="nassau/struct.SenderData.html">nassau::SenderData</a></li><li><a href="nassau/struct.SignatureIterator.html">nassau::SignatureIterator</a></li><li><a href="nassau/struct.SubalgebraIterator.html">nassau::SubalgebraIterator</a></li><li><a href="resolution/struct.MuResolution.html">resolution::MuResolution</a></li><li><a href="resolution/struct.SenderData.html">resolution::SenderData</a></li><li><a href="resolution_homomorphism/struct.MuResolutionHomomorphism.html">resolution_homomorphism::MuResolutionHomomorphism</a></li><li><a href="save/struct.ChecksumReader.html">save::ChecksumReader</a></li><li><a href="save/struct.ChecksumWriter.html">save::ChecksumWriter</a></li><li><a href="save/struct.SaveFile.html">save::SaveFile</a></li><li><a href="secondary/struct.SecondaryComposite.html">secondary::SecondaryComposite</a></li><li><a href="secondary/struct.SecondaryHomotopy.html">secondary::SecondaryHomotopy</a></li><li><a href="secondary/struct.SecondaryResolution.html">secondary::SecondaryResolution</a></li><li><a href="utils/struct.Config.html">utils::Config</a></li><li><a href="utils/struct.LogWriter.html">utils::LogWriter</a></li><li><a href="utils/logging/struct.LogWriter.html">utils::logging::LogWriter</a></li><li><a href="utils/logging/struct.Throughput.html">utils::logging::Throughput</a></li></ul><h3 id="enums">Enums</h3><ul class="all-items"><li><a href="chain_complex/enum.ChainComplexGrading.html">chain_complex::ChainComplexGrading</a></li><li><a href="nassau/enum.Magic.html">nassau::Magic</a></li><li><a href="save/enum.SaveDirectory.html">save::SaveDirectory</a></li><li><a href="save/enum.SaveKind.html">save::SaveKind</a></li></ul><h3 id="traits">Traits</h3><ul class="all-items"><li><a href="chain_complex/trait.AugmentedChainComplex.html">chain_complex::AugmentedChainComplex</a></li><li><a href="chain_complex/trait.BoundedChainComplex.html">chain_complex::BoundedChainComplex</a></li><li><a href="chain_complex/trait.ChainComplex.html">chain_complex::ChainComplex</a></li><li><a href="chain_complex/trait.FreeChainComplex.html">chain_complex::FreeChainComplex</a></li><li><a href="secondary/trait.SecondaryLift.html">secondary::SecondaryLift</a></li></ul><h3 id="functions">Functions</h3><ul class="all-items"><li><a href="save/fn.open_file.html">save::open_file</a></li><li><a href="save/fn.open_files.html">save::open_files</a></li><li><a href="utils/fn.construct.html">utils::construct</a></li><li><a href="utils/fn.construct_nassau.html">utils::construct_nassau</a></li><li><a href="utils/fn.construct_standard.html">utils::construct_standard</a></li><li><a href="utils/fn.ext_tracing_subscriber.html">utils::ext_tracing_subscriber</a></li><li><a href="utils/fn.get_unit.html">utils::get_unit</a></li><li><a href="utils/fn.init_logging.html">utils::init_logging</a></li><li><a href="utils/fn.load_module_json.html">utils::load_module_json</a></li><li><a href="utils/logging/fn.ext_tracing_subscriber.html">utils::logging::ext_tracing_subscriber</a></li><li><a href="utils/logging/fn.init_logging.html">utils::logging::init_logging</a></li><li><a href="utils/fn.parse_module_name.html">utils::parse_module_name</a></li><li><a href="utils/fn.query_module.html">utils::query_module</a></li><li><a href="utils/fn.query_module_only.html">utils::query_module_only</a></li><li><a href="utils/fn.query_unstable_module.html">utils::query_unstable_module</a></li><li><a href="utils/fn.query_unstable_module_only.html">utils::query_unstable_module_only</a></li><li><a href="utils/fn.secondary_job.html">utils::secondary_job</a></li><li><a href="utils/fn.unicode_num.html">utils::unicode_num</a></li><li><a href="yoneda/fn.compute_kernel_image.html">yoneda::compute_kernel_image</a></li><li><a href="yoneda/fn.rate_adem_operation.html">yoneda::rate_adem_operation</a></li><li><a href="yoneda/fn.rate_milnor_operation.html">yoneda::rate_milnor_operation</a></li><li><a href="yoneda/fn.rate_operation.html">yoneda::rate_operation</a></li><li><a href="yoneda/fn.split_mut_borrow.html">yoneda::split_mut_borrow</a></li><li><a href="yoneda/fn.yoneda_representative.html">yoneda::yoneda_representative</a></li><li><a href="yoneda/fn.yoneda_representative_element.html">yoneda::yoneda_representative_element</a></li><li><a href="yoneda/fn.yoneda_representative_with_strategy.html">yoneda::yoneda_representative_with_strategy</a></li></ul><h3 id="types">Type Aliases</h3><ul class="all-items"><li><a href="type.CCC.html">CCC</a></li><li><a href="resolution/type.Resolution.html">resolution::Resolution</a></li><li><a href="resolution/type.UnstableResolution.html">resolution::UnstableResolution</a></li><li><a href="resolution_homomorphism/type.ResolutionHomomorphism.html">resolution_homomorphism::ResolutionHomomorphism</a></li><li><a href="resolution_homomorphism/type.UnstableResolutionHomomorphism.html">resolution_homomorphism::UnstableResolutionHomomorphism</a></li><li><a href="secondary/type.CompositeData.html">secondary::CompositeData</a></li><li><a href="utils/type.QueryModuleResolution.html">utils::QueryModuleResolution</a></li><li><a href="yoneda/type.Yoneda.html">yoneda::Yoneda</a></li></ul><h3 id="statics">Statics</h3><ul class="all-items"><li><a href="secondary/static.LAMBDA_BIDEGREE.html">secondary::LAMBDA_BIDEGREE</a></li></ul><h3 id="constants">Constants</h3><ul class="all-items"><li><a href="nassau/constant.MAX_NEW_GENS.html">nassau::MAX_NEW_GENS</a></li><li><a href="resolution/constant.MAX_NEW_GENS.html">resolution::MAX_NEW_GENS</a></li><li><a href="utils/constant.STATIC_MODULES_PATH.html">utils::STATIC_MODULES_PATH</a></li><li><a href="yoneda/constant.PENALTY_UNIT.html">yoneda::PENALTY_UNIT</a></li></ul></section></div></main></body></html>
diff --git a/docs/ext/index.html b/docs/ext/index.html
@@ -129,8 +129,8 @@ <h2 id="list-of-examples"><a class="doc-anchor" href="#list-of-examples">§</a>L
 <tr><td><a href="../resolve_through_stem/index.html">resolve_through_stem</a></td><td>Resolve a module to a fixed $(s, n)$ and potentially save the resolution.</td></tr>
 <tr><td><a href="../save_bruner/index.html">save_bruner</a></td><td>Save the resolution in the format used by Bruner’s <a href="http://www.rrb.wayne.edu/papers/index.html">ext</a>.</td></tr>
 <tr><td><a href="../secondary/index.html">secondary</a></td><td>Compute $d_2$ differentials using the secondary Steenrod algebra.</td></tr>
-<tr><td><a href="../secondary_product/index.html">secondary_product</a></td><td>Compute products in $\Mod_{C\tau^2}$ using the secondary Stennrod algebra.</td></tr>
-<tr><td><a href="../secondary_massey/index.html">secondary_massey</a></td><td>Compute Massey products in $\Mod_{C\tau^2}$ using the secondary Stennrod algebra.</td></tr>
+<tr><td><a href="../secondary_product/index.html">secondary_product</a></td><td>Compute products in $\Mod_{C\lambda^2}$ using the secondary Steenrod algebra.</td></tr>
+<tr><td><a href="../secondary_massey/index.html">secondary_massey</a></td><td>Compute Massey products in $\Mod_{C\lambda^2}$ using the secondary Steenrod algebra.</td></tr>
 <tr><td><a href="../steenrod/index.html">steenrod</a></td><td>Compute Steenrod operations in Ext.</td></tr>
 <tr><td><a href="../tensor/index.html">tensor</a></td><td>Compute the tensor product of two modules.</td></tr>
 <tr><td><a href="../yoneda/index.html">yoneda</a></td><td>Compute a Yoneda representative of an Ext class.</td></tr>