diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-02-17 10:22:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-02-17 10:22:47 +0000 |
| commit | 6506b2a44b3a06a1885ae394215c512898ffeef4 (patch) | |
| tree | f9b91d2beba118efe322de956ecd3b871e922f91 /src/algebra/curve.spad.pamphlet | |
| parent | e5fb9d979a16047d62bbe954ee08577088cdb497 (diff) | |
| download | open-axiom-6506b2a44b3a06a1885ae394215c512898ffeef4.tar.gz | |
* algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.
* algebra/algext.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/ffhom.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/formula.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/forttyp.spad.pamphlet: Likewise.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/newdata.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet: Likewise.
* algebra/routines.spad.pamphlet: Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/tex.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/curve.spad.pamphlet')
| -rw-r--r-- | src/algebra/curve.spad.pamphlet | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet index 5a697c2b..a7185464 100644 --- a/src/algebra/curve.spad.pamphlet +++ b/src/algebra/curve.spad.pamphlet @@ -686,7 +686,6 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where qsetelt!(v, k, (qelt(ib.basis, i, j) / ib.basisDen) * a) qsetelt!(w, k, qelt(ib.basisInv, i, j) * inv a) a := a * c - void() charPStartUp() == r := mkIntegral modulus @@ -704,7 +703,6 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where radicnd ** n1 * */[qelt(ibasis, i) ** 2 for i in mini..maxIndex ibasis] discPoly() := primitivePart(numer dsc) / denom(dsc) - void() char0StartUp() == rp := rootPoly(radicnd, n) @@ -719,7 +717,6 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where invden := invden / rp.coef -- always equals 1/rp.coef**(i-mini) qsetelt!(infbasis, i, a := qelt(infb, i)) qsetelt!(invinfbasis, i, inv a) - void() ramified?(p:UP) == (r := retractIfCan(p)@Union(F, "failed")) case F => @@ -821,7 +818,6 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where for j in minColIndex ib .. maxColIndex ib repeat infbasis(i, j) := qelt(ib, i, j) invinfbasis(i, j) := invib(i, j) - void() getInfBasis() == x := inv(monomial(1, 1)$UP :: RF) @@ -844,7 +840,6 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where for j in minColIndex ibasis .. maxColIndex ibasis repeat infbasis(i, j) := qelt(ib2, i, j) invinfbasis(i, j) := invib2(i, j) - void() startUp b == brandNew?() := b @@ -869,7 +864,6 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where infBr?() := degree(numer dsc0) < degree(denom dsc0) dsc := dsc * determinant(ibasis) ** 2 discPoly() := primitivePart(numer dsc) / denom(dsc) - void() integralDerivationMatrix d == w := integralBasis() |