aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/newpoint.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/newpoint.spad.pamphlet')
-rw-r--r--src/algebra/newpoint.spad.pamphlet14
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