aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/odeef.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/odeef.spad.pamphlet')
-rw-r--r--src/algebra/odeef.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/odeef.spad.pamphlet b/src/algebra/odeef.spad.pamphlet
index 8f71bbc0..1b1cc186 100644
--- a/src/algebra/odeef.spad.pamphlet
+++ b/src/algebra/odeef.spad.pamphlet
@@ -86,7 +86,7 @@ ReductionOfOrder(F, L): Exports == Impl where
++ differential equations and initial value problems.
++ Keywords: differential equation, ODE
ElementaryFunctionLODESolver(R, F, L): Exports == Implementation where
- R: Join(OrderedSet, EuclideanDomain, RetractableTo Integer,
+ R: Join(EuclideanDomain, RetractableTo Integer,
LinearlyExplicitRingOver Integer, CharacteristicZero)
F: Join(AlgebraicallyClosedFunctionSpace R, TranscendentalFunctionCategory,
PrimitiveFunctionCategory)
@@ -338,7 +338,7 @@ ElementaryFunctionLODESolver(R, F, L): Exports == Implementation where
++ differential equations and initial value problems.
++ Keywords: differential equation, ODE
ElementaryFunctionODESolver(R, F): Exports == Implementation where
- R: Join(OrderedSet, EuclideanDomain, RetractableTo Integer,
+ R: Join(EuclideanDomain, RetractableTo Integer,
LinearlyExplicitRingOver Integer, CharacteristicZero)
F: Join(AlgebraicallyClosedFunctionSpace R, TranscendentalFunctionCategory,
PrimitiveFunctionCategory)