diff options
Diffstat (limited to 'src/algebra/openmath.spad.pamphlet')
-rw-r--r-- | src/algebra/openmath.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/openmath.spad.pamphlet b/src/algebra/openmath.spad.pamphlet index 62f19a37..1ebbb4fc 100644 --- a/src/algebra/openmath.spad.pamphlet +++ b/src/algebra/openmath.spad.pamphlet @@ -23,7 +23,7 @@ ++ References: ++ Description: \spadtype{ExpressionToOpenMath} provides support for ++ converting objects of type \spadtype{Expression} into OpenMath. -ExpressionToOpenMath(R: Join(OpenMath, OrderedSet, Ring)): with +ExpressionToOpenMath(R: Join(OpenMath, Ring)): with OMwrite : Expression R -> String OMwrite : (Expression R, Boolean) -> String OMwrite : (OpenMathDevice, Expression R) -> Void |