diff options
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 |