Skip to content

Commit

Permalink
Change tau to lambda (SpectralSequences#177)
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Nov 5, 2024
1 parent af53ad7 commit 7aa063e
Show file tree
Hide file tree
Showing 83 changed files with 370 additions and 341 deletions.
Binary file modified calculator/steenrod_calculator_wasm_bg.wasm
Binary file not shown.
2 changes: 1 addition & 1 deletion docs/algebra/adem_algebra/struct.AdemAlgebra.html
Original file line number Diff line number Diff line change
Expand Up @@ -206,7 +206,7 @@ <h5 id="arguments"><a class="doc-anchor" href="#arguments">§</a>Arguments:</h5>
r: <a class="enum" href="../../fp/vector/fp_wrapper/enum.FpSlice.html" title="enum fp::vector::fp_wrapper::FpSlice">FpSlice</a>&lt;'_&gt;,
s_degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>,
s: <a class="enum" href="../../fp/vector/fp_wrapper/enum.FpSlice.html" title="enum fp::vector::fp_wrapper::FpSlice">FpSlice</a>&lt;'_&gt;,
)</h4></section></summary><div class='docblock'>Same as <a href="../algebra/pair_algebra/trait.PairAlgebra.html#tymethod.sigma_multiply_basis" title="method algebra::algebra::pair_algebra::PairAlgebra::sigma_multiply_basis"><code>PairAlgebra::sigma_multiply_basis</code></a> but with non-basis elements.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#111-122">source</a><a href="#impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="anchor">§</a><h3 class="code-header">impl&lt;'a&gt; <a class="trait" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;&amp;'a <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>&gt; for &amp;'a <a class="enum" href="../algebra/steenrod_algebra/enum.SteenrodAlgebra.html" title="enum algebra::algebra::steenrod_algebra::SteenrodAlgebra">SteenrodAlgebra</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#112">source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="struct" href="https://docs.rs/anyhow/1.0.91/anyhow/struct.Error.html" title="struct anyhow::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#114-121">source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.82.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;&amp;'a <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>, Self::<a class="associatedtype" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" title="type core::convert::TryInto::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-UnstableAlgebra-for-AdemAlgebra" class="impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#451-482">source</a><a href="#impl-UnstableAlgebra-for-AdemAlgebra" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="../algebra/algebra_trait/trait.UnstableAlgebra.html" title="trait algebra::algebra::algebra_trait::UnstableAlgebra">UnstableAlgebra</a> for <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a></h3></section></summary><div class="impl-items"><section id="method.dimension_unstable" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#452-460">source</a><a href="#method.dimension_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra/algebra_trait/trait.UnstableAlgebra.html#tymethod.dimension_unstable" class="fn">dimension_unstable</a>(&amp;self, degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>, excess: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.usize.html">usize</a></h4></section><section id="method.multiply_basis_elements_unstable" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#462-481">source</a><a href="#method.multiply_basis_elements_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra/algebra_trait/trait.UnstableAlgebra.html#tymethod.multiply_basis_elements_unstable" class="fn">multiply_basis_elements_unstable</a>(
)</h4></section></summary><div class='docblock'>Same as <a href="../algebra/pair_algebra/trait.PairAlgebra.html#tymethod.sigma_multiply_basis" title="method algebra::algebra::pair_algebra::PairAlgebra::sigma_multiply_basis"><code>PairAlgebra::sigma_multiply_basis</code></a> but with non-basis elements.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#111-122">source</a><a href="#impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="anchor">§</a><h3 class="code-header">impl&lt;'a&gt; <a class="trait" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;&amp;'a <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>&gt; for &amp;'a <a class="enum" href="../algebra/steenrod_algebra/enum.SteenrodAlgebra.html" title="enum algebra::algebra::steenrod_algebra::SteenrodAlgebra">SteenrodAlgebra</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#112">source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="struct" href="https://docs.rs/anyhow/1.0.92/anyhow/struct.Error.html" title="struct anyhow::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/steenrod_algebra.rs.html#114-121">source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.82.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;&amp;'a <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>, Self::<a class="associatedtype" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" title="type core::convert::TryInto::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-UnstableAlgebra-for-AdemAlgebra" class="impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#451-482">source</a><a href="#impl-UnstableAlgebra-for-AdemAlgebra" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="../algebra/algebra_trait/trait.UnstableAlgebra.html" title="trait algebra::algebra::algebra_trait::UnstableAlgebra">UnstableAlgebra</a> for <a class="struct" href="../algebra/adem_algebra/struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a></h3></section></summary><div class="impl-items"><section id="method.dimension_unstable" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#452-460">source</a><a href="#method.dimension_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra/algebra_trait/trait.UnstableAlgebra.html#tymethod.dimension_unstable" class="fn">dimension_unstable</a>(&amp;self, degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>, excess: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.usize.html">usize</a></h4></section><section id="method.multiply_basis_elements_unstable" class="method trait-impl"><a class="src rightside" href="../../src/algebra/algebra/adem_algebra.rs.html#462-481">source</a><a href="#method.multiply_basis_elements_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra/algebra_trait/trait.UnstableAlgebra.html#tymethod.multiply_basis_elements_unstable" class="fn">multiply_basis_elements_unstable</a>(
&amp;self,
result: <a class="enum" href="../../fp/vector/fp_wrapper/enum.FpSliceMut.html" title="enum fp::vector::fp_wrapper::FpSliceMut">FpSliceMut</a>&lt;'_&gt;,
coeff: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.u32.html">u32</a>,
Expand Down
2 changes: 1 addition & 1 deletion docs/algebra/algebra/adem_algebra/struct.AdemAlgebra.html
Original file line number Diff line number Diff line change
Expand Up @@ -206,7 +206,7 @@ <h5 id="arguments"><a class="doc-anchor" href="#arguments">§</a>Arguments:</h5>
r: <a class="enum" href="../../../fp/vector/fp_wrapper/enum.FpSlice.html" title="enum fp::vector::fp_wrapper::FpSlice">FpSlice</a>&lt;'_&gt;,
s_degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>,
s: <a class="enum" href="../../../fp/vector/fp_wrapper/enum.FpSlice.html" title="enum fp::vector::fp_wrapper::FpSlice">FpSlice</a>&lt;'_&gt;,
)</h4></section></summary><div class='docblock'>Same as <a href="../pair_algebra/trait.PairAlgebra.html#tymethod.sigma_multiply_basis" title="method algebra::algebra::pair_algebra::PairAlgebra::sigma_multiply_basis"><code>PairAlgebra::sigma_multiply_basis</code></a> but with non-basis elements.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#111-122">source</a><a href="#impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="anchor">§</a><h3 class="code-header">impl&lt;'a&gt; <a class="trait" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;&amp;'a <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>&gt; for &amp;'a <a class="enum" href="../steenrod_algebra/enum.SteenrodAlgebra.html" title="enum algebra::algebra::steenrod_algebra::SteenrodAlgebra">SteenrodAlgebra</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#112">source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="struct" href="https://docs.rs/anyhow/1.0.91/anyhow/struct.Error.html" title="struct anyhow::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#114-121">source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.82.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;&amp;'a <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>, Self::<a class="associatedtype" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" title="type core::convert::TryInto::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-UnstableAlgebra-for-AdemAlgebra" class="impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#451-482">source</a><a href="#impl-UnstableAlgebra-for-AdemAlgebra" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="../algebra_trait/trait.UnstableAlgebra.html" title="trait algebra::algebra::algebra_trait::UnstableAlgebra">UnstableAlgebra</a> for <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a></h3></section></summary><div class="impl-items"><section id="method.dimension_unstable" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#452-460">source</a><a href="#method.dimension_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra_trait/trait.UnstableAlgebra.html#tymethod.dimension_unstable" class="fn">dimension_unstable</a>(&amp;self, degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>, excess: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.usize.html">usize</a></h4></section><section id="method.multiply_basis_elements_unstable" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#462-481">source</a><a href="#method.multiply_basis_elements_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra_trait/trait.UnstableAlgebra.html#tymethod.multiply_basis_elements_unstable" class="fn">multiply_basis_elements_unstable</a>(
)</h4></section></summary><div class='docblock'>Same as <a href="../pair_algebra/trait.PairAlgebra.html#tymethod.sigma_multiply_basis" title="method algebra::algebra::pair_algebra::PairAlgebra::sigma_multiply_basis"><code>PairAlgebra::sigma_multiply_basis</code></a> but with non-basis elements.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#111-122">source</a><a href="#impl-TryInto%3C%26AdemAlgebra%3E-for-%26SteenrodAlgebra" class="anchor">§</a><h3 class="code-header">impl&lt;'a&gt; <a class="trait" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a>&lt;&amp;'a <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>&gt; for &amp;'a <a class="enum" href="../steenrod_algebra/enum.SteenrodAlgebra.html" title="enum algebra::algebra::steenrod_algebra::SteenrodAlgebra">SteenrodAlgebra</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#112">source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="struct" href="https://docs.rs/anyhow/1.0.92/anyhow/struct.Error.html" title="struct anyhow::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/steenrod_algebra.rs.html#114-121">source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.82.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;&amp;'a <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a>, Self::<a class="associatedtype" href="https://doc.rust-lang.org/1.82.0/core/convert/trait.TryInto.html#associatedtype.Error" title="type core::convert::TryInto::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-UnstableAlgebra-for-AdemAlgebra" class="impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#451-482">source</a><a href="#impl-UnstableAlgebra-for-AdemAlgebra" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="../algebra_trait/trait.UnstableAlgebra.html" title="trait algebra::algebra::algebra_trait::UnstableAlgebra">UnstableAlgebra</a> for <a class="struct" href="struct.AdemAlgebra.html" title="struct algebra::algebra::adem_algebra::AdemAlgebra">AdemAlgebra</a></h3></section></summary><div class="impl-items"><section id="method.dimension_unstable" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#452-460">source</a><a href="#method.dimension_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra_trait/trait.UnstableAlgebra.html#tymethod.dimension_unstable" class="fn">dimension_unstable</a>(&amp;self, degree: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>, excess: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.i32.html">i32</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.usize.html">usize</a></h4></section><section id="method.multiply_basis_elements_unstable" class="method trait-impl"><a class="src rightside" href="../../../src/algebra/algebra/adem_algebra.rs.html#462-481">source</a><a href="#method.multiply_basis_elements_unstable" class="anchor">§</a><h4 class="code-header">fn <a href="../algebra_trait/trait.UnstableAlgebra.html#tymethod.multiply_basis_elements_unstable" class="fn">multiply_basis_elements_unstable</a>(
&amp;self,
result: <a class="enum" href="../../../fp/vector/fp_wrapper/enum.FpSliceMut.html" title="enum fp::vector::fp_wrapper::FpSliceMut">FpSliceMut</a>&lt;'_&gt;,
coeff: <a class="primitive" href="https://doc.rust-lang.org/1.82.0/std/primitive.u32.html">u32</a>,
Expand Down
Loading

0 comments on commit 7aa063e

Please sign in to comment.