diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
| commit | 7b6b9b1e80d0fe90a9009864f107735d244aa0d7 (patch) | |
| tree | f1c17e82882d683f13a60ba64ae75f14ec4b529a /src/algebra/solvefor.spad.pamphlet | |
| parent | bb57192d02a82f2236857bcbd2accca4f01f4395 (diff) | |
| download | open-axiom-7b6b9b1e80d0fe90a9009864f107735d244aa0d7.tar.gz | |
Remove antiquated syntax for operator declaration.
Diffstat (limited to 'src/algebra/solvefor.spad.pamphlet')
| -rw-r--r-- | src/algebra/solvefor.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/solvefor.spad.pamphlet b/src/algebra/solvefor.spad.pamphlet index 6d072ae8..2d335fcb 100644 --- a/src/algebra/solvefor.spad.pamphlet +++ b/src/algebra/solvefor.spad.pamphlet @@ -12,7 +12,7 @@ \section{package SOLVEFOR PolynomialSolveByFormulas} <<package SOLVEFOR PolynomialSolveByFormulas>>= )abbrev package SOLVEFOR PolynomialSolveByFormulas --- Current fields with "**": (%, RationalNumber) -> % are +-- Current fields with **: (%, RationalNumber) -> % are -- ComplexFloat, RadicalExtension(K) and RationalRadical -- SMW June 86, BMT Sept 93 ++ Description: @@ -24,7 +24,7 @@ PolynomialSolveByFormulas(UP, F): PSFcat == PSFdef where UP: UnivariatePolynomialCategory F - F: Field with "**": (%, Fraction Integer) -> % + F: Field with **: (%, Fraction Integer) -> % L ==> List |