diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
| commit | 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac (patch) | |
| tree | 6d2174e90e5779b1b3ab4ae7df3ae6603b66c6c2 /src/algebra/newpoint.spad.pamphlet | |
| parent | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (diff) | |
| download | open-axiom-9e07dcd91c45bf8b22d932321f5c97e931ffe8ac.tar.gz | |
* algebra/: Don't quote '!' at end of names.
Diffstat (limited to 'src/algebra/newpoint.spad.pamphlet')
| -rw-r--r-- | src/algebra/newpoint.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/newpoint.spad.pamphlet b/src/algebra/newpoint.spad.pamphlet index 9c739e1d..c742543d 100644 --- a/src/algebra/newpoint.spad.pamphlet +++ b/src/algebra/newpoint.spad.pamphlet @@ -341,7 +341,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where momma.lastChild := momma.childrenField momma.noChildren := 1 else - setrest_!(lastKid,[baby]) + setrest!(lastKid,[baby]) momma.lastChild := rest lastKid momma.noChildren := momma.noChildren + 1 baby @@ -372,7 +372,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where cc := deepCopy c cc.parentField := [node] node.childrenField := cons(cc,node.childrenField) - node.childrenField := reverse_!(node.childrenField) + node.childrenField := reverse!(node.childrenField) node.lastChild := tail node.childrenField node @@ -412,7 +412,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where space.pointDataField := [point] space.lastPoint := space.pointDataField else - setrest_!(lastPt,[point]) + setrest!(lastPt,[point]) space.lastPoint := rest lastPt space.noPoints := space.noPoints + 1 which := space.noPoints @@ -435,7 +435,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where space.pointDataField := [point] space.lastPoint := space.pointDataField else - setrest_!(lastPt,[point]) + setrest!(lastPt,[point]) space.lastPoint := rest lastPt space.noPoints := space.noPoints + 1 which := space.noPoints @@ -457,7 +457,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where space.pointDataField := [point] space.lastPoint := space.pointDataField else - setrest_!(lastPt,[point]) + setrest!(lastPt,[point]) space.lastPoint := rest lastPt space.noPoints := space.noPoints + 1 which := space.noPoints @@ -489,7 +489,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where space.pointDataField := [point] space.lastPoint := space.pointDataField else - setrest_!(lastPt,[point]) + setrest!(lastPt,[point]) space.lastPoint := rest lastPt space.noPoints := space.noPoints + 1 error "You need to pass a top level SubSpace (level should be zero)" @@ -502,7 +502,7 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where space.pointDataField := [point] space.lastPoint := space.pointDataField else - setrest_!(lastPt,[point]) + setrest!(lastPt,[point]) space.lastPoint := rest lastPt space.noPoints := space.noPoints + 1 which := space.noPoints |