aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/pfo.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/pfo.spad.pamphlet')
-rw-r--r--src/algebra/pfo.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/pfo.spad.pamphlet b/src/algebra/pfo.spad.pamphlet
index e5232cc1..118e5d5d 100644
--- a/src/algebra/pfo.spad.pamphlet
+++ b/src/algebra/pfo.spad.pamphlet
@@ -230,7 +230,7 @@ PointsOfFiniteOrderRational(UP, UPUP, R): Exports == Implementation where
++ the kernels and the integers is fixed between calls to new().
++ Keywords: function, space, redcution.
FunctionSpaceReduce(R, F): Exports == Implementation where
- R: Join(OrderedSet, IntegralDomain, RetractableTo Integer)
+ R: Join(IntegralDomain, RetractableTo Integer)
F: FunctionSpace R
Z ==> Integer
@@ -290,7 +290,7 @@ FunctionSpaceReduce(R, F): Exports == Implementation where
++ Keywords: divisor, algebraic, curve.
++ Examples: )r PFO INPUT
PointsOfFiniteOrder(R0, F, UP, UPUP, R): Exports == Implementation where
- R0 : Join(OrderedSet, IntegralDomain, RetractableTo Integer)
+ R0 : Join(IntegralDomain, RetractableTo Integer)
F : FunctionSpace R0
UP : UnivariatePolynomialCategory F
UPUP : UnivariatePolynomialCategory Fraction UP