diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
| commit | aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa (patch) | |
| tree | 2a10e3ef795b0e2625f642cf2d1d47c7e695a88e /src/algebra/curve.spad.pamphlet | |
| parent | 7f0313f8c6cce367c51cf5bb6bc8c073a466191b (diff) | |
| download | open-axiom-aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa.tar.gz | |
* algebra/curve.spad.pamphlet: Use literal symbols.
* algebra/defintef.spad.pamphlet: Likewise.
* algebra/defintrf.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intaf.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/intpm.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/oderf.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/curve.spad.pamphlet')
| -rw-r--r-- | src/algebra/curve.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet index 11d82292..37d330ee 100644 --- a/src/algebra/curve.spad.pamphlet +++ b/src/algebra/curve.spad.pamphlet @@ -211,8 +211,8 @@ FunctionFieldCategory(F, UP, UPUP): Category == Definition where d := commonDenominator(coordinates(w := integralBasis()))::RF n := #w vars := [concat(string u, string i)::SY for i in 1..n] - x := "%%dummy1"::SY - y := "%%dummy2"::SY + x := '%%dummy1 + y := '%%dummy2 select_!(zero?(degree(#1, x)) and zero?(degree(#1, y)), lexGroebner([v::P - UPUP2P(lift(d * w.i), x::P, y::P) for v in vars for i in 1..n], concat([x, y], vars))) |