diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
commit | 0611af2a9349c640402fded93ddc53f641af9967 (patch) | |
tree | 6ae1e25b47382ea2d3083c83d8cbecc4368619f9 /src/algebra/divisor.spad.pamphlet | |
parent | 979b28507f84eff5c739879f4b15e595eeab00f9 (diff) | |
download | open-axiom-0611af2a9349c640402fded93ddc53f641af9967.tar.gz |
Use members, not parts
Diffstat (limited to 'src/algebra/divisor.spad.pamphlet')
-rw-r--r-- | src/algebra/divisor.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/divisor.spad.pamphlet b/src/algebra/divisor.spad.pamphlet index 888ff89e..f8c15f86 100644 --- a/src/algebra/divisor.spad.pamphlet +++ b/src/algebra/divisor.spad.pamphlet @@ -101,7 +101,7 @@ FractionalIdeal(R, F, UP, A): Exports == Implementation where cd := splitDenominator(denom(i)::F::UP::QF * m) cd2 := splitDenominator coefficients(cd.den) invd:= cd2.den / reduce("gcd", cd2.num) - d := reduce("max", [degree p for p in parts(cd.num)]) + d := reduce("max", [degree p for p in members(cd.num)]) ideal [invd * invrep map(coefficient(#1, j), cd.num) for j in 0..d]$VA @@ -285,7 +285,7 @@ ModularHermitianRowReduction(R): Exports == Implementation where -- returns a matrix made from the non-zero rows of x whose row number -- is not in l mkMat(x, l) == - empty?(ll := [parts row(x, i) + empty?(ll := [members row(x, i) for i in minRowIndex x .. maxRowIndex x | (not member?(i, l)) and nonzero? row(x, i)]$List(List R)) => zero(1, ncols x) |