diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/xlpoly.spad.pamphlet | |
parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/xlpoly.spad.pamphlet')
-rw-r--r-- | src/algebra/xlpoly.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet index 26870df1..8cc83ee6 100644 --- a/src/algebra/xlpoly.spad.pamphlet +++ b/src/algebra/xlpoly.spad.pamphlet @@ -36,7 +36,7 @@ Magma(VarSet:OrderedSet):Public == Private where EX ==> OutputForm Public == Join(OrderedSet,RetractableTo VarSet) with - "*" : ($,$) -> $ + * : ($,$) -> $ ++ \axiom{x*y} returns the tree \axiom{[x,y]}. coerce : $ -> WORD ++ \axiom{coerce(x)} returns the element of \axiomType{OrderedFreeMonoid}(VarSet) @@ -362,7 +362,7 @@ LieAlgebra(R: CommutativeRing): Category == Module(R) with construct: ($,$) -> $ ++ \axiom{construct(x,y)} returns the Lie bracket of \axiom{x} and \axiom{y}. if R has Field then - "/" : ($,R) -> $ + / : ($,R) -> $ ++ \axiom{x/r} returns the division of \axiom{x} by \axiom{r}. |