diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index 2299641..4c6f3bf 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -8217,33 +8217,33 @@ Automorphism(R:Ring): Join(Group, Eltable(R, R)) with
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 7
lm := [3,5,7,11]
--E 1
---S 3
+--S 2 of 7
t := balancedBinaryTree(#lm, 0)
---E 3
+--E 2
---S 4
+--S 3 of 7
setleaves!(t,lm)
---E 4
+--E 3
---S 5
+--S 4 of 7
mapUp!(t,_*)
---E 5
+--E 4
---S 6
+--S 5 of 7
t
---E 6
+--E 5
---S 7
+--S 6 of 7
mapDown!(t,12,_rem)
---E 7
+--E 6
---S 8
+--S 7 of 7
leaves %
---E 8
+--E 7
)spool
)lisp (bye)
@@ -9409,7 +9409,7 @@ BasicOperator(): Exports == Implementation where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 7
r := binary(22/7)
--R
--R
@@ -9418,7 +9418,7 @@ r := binary(22/7)
--R Type: BinaryExpansion
--E 1
---S 2
+--S 2 of 7
r + binary(6/7)
--R
--R
@@ -9426,7 +9426,7 @@ r + binary(6/7)
--R Type: BinaryExpansion
--E 2
---S 3
+--S 3 of 7
[binary(1/i) for i in 102..106]
--R
--R
@@ -9440,7 +9440,7 @@ r + binary(6/7)
--R Type: List BinaryExpansion
--E 3
---S 4
+--S 4 of 7
binary(1/1007)
--R
--R
@@ -9457,7 +9457,7 @@ binary(1/1007)
--R Type: BinaryExpansion
--E 4
---S 5
+--S 5 of 7
p := binary(1/4)*x**2 + binary(2/3)*x + binary(4/9)
--R
--R
@@ -9466,7 +9466,7 @@ p := binary(1/4)*x**2 + binary(2/3)*x + binary(4/9)
--R Type: Polynomial BinaryExpansion
--E 5
---S 6
+--S 6 of 7
q := D(p, x)
--R
--R
@@ -9475,7 +9475,7 @@ q := D(p, x)
--R Type: Polynomial BinaryExpansion
--E 6
---S 7
+--S 7 of 7
g := gcd(p, q)
--R
--R
@@ -12793,7 +12793,7 @@ CartesianTensor(minix, dim, R): Exports == Implementation where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 13
chars := [char "a", char "A", char "X", char "8", char "+"]
--R
--R
@@ -12801,7 +12801,7 @@ chars := [char "a", char "A", char "X", char "8", char "+"]
--R Type: List Character
--E 1
---S 2
+--S 2 of 13
space()
--R
--R
@@ -12809,7 +12809,7 @@ space()
--R Type: Character
--E 2
---S 3
+--S 3 of 13
quote()
--R
--R
@@ -12817,7 +12817,7 @@ quote()
--R Type: Character
--E 3
---S 4
+--S 4 of 13
escape()
--R
--R
@@ -12825,7 +12825,7 @@ escape()
--R Type: Character
--E 4
---S 5
+--S 5 of 13
[ord c for c in chars]
--R
--R
@@ -12833,7 +12833,7 @@ escape()
--R Type: List Integer
--E 5
---S 6
+--S 6 of 13
[upperCase c for c in chars]
--R
--R
@@ -12841,7 +12841,7 @@ escape()
--R Type: List Character
--E 6
---S 7
+--S 7 of 13
[lowerCase c for c in chars]
--R
--R
@@ -12849,7 +12849,7 @@ escape()
--R Type: List Character
--E 7
---S 8
+--S 8 of 13
[alphabetic? c for c in chars]
--R
--R
@@ -12857,7 +12857,7 @@ escape()
--R Type: List Boolean
--E 8
---S 9
+--S 9 of 13
[upperCase? c for c in chars]
--R
--R
@@ -12865,7 +12865,7 @@ escape()
--R Type: List Boolean
--E 9
---S 10
+--S 10 of 13
[lowerCase? c for c in chars]
--R
--R
@@ -12873,7 +12873,7 @@ escape()
--R Type: List Boolean
--E 10
---S 11
+--S 11 of 13
[digit? c for c in chars]
--R
--R
@@ -12881,7 +12881,7 @@ escape()
--R Type: List Boolean
--E 11
---S 12
+--S 12 of 13
[hexDigit? c for c in chars]
--R
--R
@@ -12889,7 +12889,7 @@ escape()
--R Type: List Boolean
--E 12
---S 13
+--S 13 of 13
[alphanumeric? c for c in chars]
--R
--R
@@ -24234,7 +24234,7 @@ d03fafAnnaType():PartialDifferentialEquationsSolverCategory == Result add
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 12
eq1 := 3*x + 4*y = 5
--R
--R
@@ -24242,7 +24242,7 @@ eq1 := 3*x + 4*y = 5
--R Type: Equation Polynomial Integer
--E 1
---S 2
+--S 2 of 12
eq2 := 2*x + 2*y = 3
--R
--R
@@ -24250,7 +24250,7 @@ eq2 := 2*x + 2*y = 3
--R Type: Equation Polynomial Integer
--E 2
---S 3
+--S 3 of 12
lhs eq1
--R
--R
@@ -24258,7 +24258,7 @@ lhs eq1
--R Type: Polynomial Integer
--E 3
---S 4
+--S 4 of 12
rhs eq1
--R
--R
@@ -24266,7 +24266,7 @@ rhs eq1
--R Type: Polynomial Integer
--E 4
---S 5
+--S 5 of 12
eq1 + eq2
--R
--R
@@ -24274,7 +24274,7 @@ eq1 + eq2
--R Type: Equation Polynomial Integer
--E 5
---S 6
+--S 6 of 12
eq1 * eq2
--R
--R
@@ -24283,7 +24283,7 @@ eq1 * eq2
--R Type: Equation Polynomial Integer
--E 6
---S 7
+--S 7 of 12
2*eq2 - eq1
--R
--R
@@ -24291,7 +24291,7 @@ eq1 * eq2
--R Type: Equation Polynomial Integer
--E 7
---S 8
+--S 8 of 12
eq1**2
--R
--R
@@ -24300,7 +24300,7 @@ eq1**2
--R Type: Equation Polynomial Integer
--E 8
---S 9
+--S 9 of 12
if x+1 = y then "equal" else "unequal"
--R
--R
@@ -24308,7 +24308,7 @@ if x+1 = y then "equal" else "unequal"
--R Type: String
--E 9
---S 10
+--S 10 of 12
eqpol := x+1 = y
--R
--R
@@ -24316,7 +24316,7 @@ eqpol := x+1 = y
--R Type: Equation Polynomial Integer
--E 10
---S 11
+--S 11 of 12
if eqpol then "equal" else "unequal"
--R
--R
@@ -24324,7 +24324,7 @@ if eqpol then "equal" else "unequal"
--R Type: String
--E 11
---S 12
+--S 12 of 12
eqpol::Boolean
--R
--R
@@ -25448,7 +25448,7 @@ ExponentialExpansion(R,FE,var,cen): Exports == Implementation where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 23
sin(x) + 3*cos(x)**2
--R
--R
@@ -25457,7 +25457,7 @@ sin(x) + 3*cos(x)**2
--R Type: Expression Integer
--E 1
---S 2
+--S 2 of 23
tan(x) - 3.45*x
--R
--R
@@ -25465,7 +25465,7 @@ tan(x) - 3.45*x
--R Type: Expression Float
--E 2
---S 3
+--S 3 of 23
(tan sqrt 7 - sin sqrt 11)**2 / (4 - cos(x - y))
--R
--R
@@ -25476,7 +25476,7 @@ tan(x) - 3.45*x
--R Type: Expression Integer
--E 3
---S 4
+--S 4 of 23
log(exp x)@Expression(Integer)
--R
--R
@@ -25484,7 +25484,7 @@ log(exp x)@Expression(Integer)
--R Type: Expression Integer
--E 4
---S 5
+--S 5 of 23
log(exp x)@Expression(Complex Integer)
--R
--R
@@ -25493,7 +25493,7 @@ log(exp x)@Expression(Complex Integer)
--R Type: Expression Complex Integer
--E 5
---S 6
+--S 6 of 23
sqrt 3 + sqrt(2 + sqrt(-5))
--R
--R
@@ -25503,7 +25503,7 @@ sqrt 3 + sqrt(2 + sqrt(-5))
--R Type: AlgebraicNumber
--E 6
---S 7
+--S 7 of 23
% :: Expression Integer
--R
--R
@@ -25513,7 +25513,7 @@ sqrt 3 + sqrt(2 + sqrt(-5))
--R Type: Expression Integer
--E 7
---S 8
+--S 8 of 23
height mainKernel sin(x + 4)
--R
--R
@@ -25521,7 +25521,7 @@ height mainKernel sin(x + 4)
--R Type: PositiveInteger
--E 8
---S 9
+--S 9 of 23
e := (sin(x) - 4)**2 / ( 1 - 2*y*sqrt(- y) )
--R
--R
@@ -25533,7 +25533,7 @@ e := (sin(x) - 4)**2 / ( 1 - 2*y*sqrt(- y) )
--R Type: Expression Integer
--E 9
---S 10
+--S 10 of 23
numer e
--R
--R
@@ -25542,7 +25542,7 @@ numer e
--R Type: SparseMultivariatePolynomial(Integer,Kernel Expression Integer)
--E 10
---S 11
+--S 11 of 23
denom e
--R
--R
@@ -25551,7 +25551,7 @@ denom e
--R Type: SparseMultivariatePolynomial(Integer,Kernel Expression Integer)
--E 11
---S 12
+--S 12 of 23
D(e, x)
--R
--R
@@ -25563,7 +25563,7 @@ D(e, x)
--R Type: Expression Integer
--E 12
---S 13
+--S 13 of 23
D(e, [x, y], [1, 2])
--R
--R
@@ -25585,7 +25585,7 @@ D(e, [x, y], [1, 2])
--R Type: Expression Integer
--E 13
---S 14
+--S 14 of 23
complexNumeric(cos(2 - 3*%i))
--R
--R
@@ -25593,7 +25593,7 @@ complexNumeric(cos(2 - 3*%i))
--R Type: Complex Float
--E 14
---S 15
+--S 15 of 23
numeric(tan 3.8)
--R
--R
@@ -25601,7 +25601,7 @@ numeric(tan 3.8)
--R Type: Float
--E 15
---S 16
+--S 16 of 23
e2 := cos(x**2 - y + 3)
--R
--R
@@ -25610,7 +25610,7 @@ e2 := cos(x**2 - y + 3)
--R Type: Expression Integer
--E 16
---S 17
+--S 17 of 23
e3 := asin(e2) - %pi/2
--R
--R
@@ -25619,7 +25619,7 @@ e3 := asin(e2) - %pi/2
--R Type: Expression Integer
--E 17
---S 18
+--S 18 of 23
e3 :: Polynomial Integer
--R
--R
@@ -25628,7 +25628,7 @@ e3 :: Polynomial Integer
--R Type: Polynomial Integer
--E 18
---S 19
+--S 19 of 23
e3 :: DMP([x, y], Integer)
--R
--R
@@ -25637,7 +25637,7 @@ e3 :: DMP([x, y], Integer)
--R Type: DistributedMultivariatePolynomial([x,y],Integer)
--E 19
---S 20
+--S 20 of 23
sin %pi
--R
--R
@@ -25645,7 +25645,7 @@ sin %pi
--R Type: Expression Integer
--E 20
---S 21
+--S 21 of 23
cos(%pi / 4)
--R
--R
@@ -25656,7 +25656,7 @@ cos(%pi / 4)
--R Type: Expression Integer
--E 21
---S 22
+--S 22 of 23
tan(x)**6 + 3*tan(x)**4 + 3*tan(x)**2 + 1
--R
--R
@@ -25665,7 +25665,7 @@ tan(x)**6 + 3*tan(x)**4 + 3*tan(x)**2 + 1
--R Type: Expression Integer
--E 22
---S 23
+--S 23 of 23
simplify %
--R
--R
@@ -51583,13 +51583,105 @@ LaurentPolynomial(R, UP): Exports == Implementation where
)set message test on
)set message auto off
)clear all
+
+--S 1 of 7
stuff := library "Neat.stuff"
+--R
+--R
+--RDaly Bug
+--R >> Error detected within library code:
+--R File is not readable
+--R "Neat.stuff"
+--R
+--R Continuing to read the file...
+--R
+--E 1
+
+--S 2 of 7
stuff.int := 32**2
+--R
+--R
+--RDaly Bug
+--R The form on the left hand side of an assignment must be a single
+--R variable, a Tuple of variables or a reference to an entry in an
+--R object supporting the setelt operation.
+--E 2
+
+--S 3 of 7
stuff."poly" := x**2 + 1
+--R
+--R
+--RDaly Bug
+--R The form on the left hand side of an assignment must be a single
+--R variable, a Tuple of variables or a reference to an entry in an
+--R object supporting the setelt operation.
+--E 3
+
+--S 4 of 7
stuff.str := "Hello"
+--R
+--R
+--RDaly Bug
+--R The form on the left hand side of an assignment must be a single
+--R variable, a Tuple of variables or a reference to an entry in an
+--R object supporting the setelt operation.
+--E 4
+
+--S 5 of 7
keys stuff
+--R
+--R There are 3 exposed and 0 unexposed library operations named keys
+--R having 1 argument(s) but none was determined to be applicable.
+--R Use HyperDoc Browse, or issue
+--R )display op keys
+--R to learn more about the available operations. Perhaps
+--R package-calling the operation or using coercions on the arguments
+--R will allow you to apply the operation.
+--R
+--RDaly Bug
+--R Cannot find a definition or applicable library operation named keys
+--R with argument type(s)
+--R Variable stuff
+--R
+--R Perhaps you should use "@" to indicate the required return type,
+--R or "$" to specify which version of the function you need.
+--E 5
+
+--S 6 of 7
stuff.poly
+--R
+--R There are no library operations named stuff
+--R Use HyperDoc Browse or issue
+--R )what op stuff
+--R to learn if there is any operation containing " stuff " in its
+--R name.
+--R
+--RDaly Bug
+--R Cannot find a definition or applicable library operation named stuff
+--R with argument type(s)
+--R Variable poly
+--R
+--R Perhaps you should use "@" to indicate the required return type,
+--R or "$" to specify which version of the function you need.
+--E 6
+
+--S 7 of 7
stuff("poly")
+--R
+--R There are no library operations named stuff
+--R Use HyperDoc Browse or issue
+--R )what op stuff
+--R to learn if there is any operation containing " stuff " in its
+--R name.
+--R
+--RDaly Bug
+--R Cannot find a definition or applicable library operation named stuff
+--R with argument type(s)
+--R String
+--R
+--R Perhaps you should use "@" to indicate the required return type,
+--R or "$" to specify which version of the function you need.
+--E 7
)system rm -rf Neat.stuff
)spool
)lisp (bye)
@@ -57438,7 +57530,7 @@ MachineInteger(): Exports == Implementation where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 22
x:Symbol :='x
--R
--R
@@ -57446,7 +57538,7 @@ x:Symbol :='x
--R Type: Symbol
--E 1
---S 2
+--S 2 of 22
y:Symbol :='y
--R
--R
@@ -57454,7 +57546,7 @@ y:Symbol :='y
--R Type: Symbol
--E 2
---S 3
+--S 3 of 22
z:Symbol :='z
--R
--R
@@ -57462,7 +57554,7 @@ z:Symbol :='z
--R Type: Symbol
--E 3
---S 4
+--S 4 of 22
word := OrderedFreeMonoid(Symbol)
--R
--R
@@ -57470,7 +57562,7 @@ word := OrderedFreeMonoid(Symbol)
--R Type: Domain
--E 4
---S 5
+--S 5 of 22
tree := Magma(Symbol)
--R
--R
@@ -57478,7 +57570,7 @@ tree := Magma(Symbol)
--R Type: Domain
--E 5
---S 6
+--S 6 of 22
a:tree := x*x
--R
--R
@@ -57486,7 +57578,7 @@ a:tree := x*x
--R Type: Magma Symbol
--E 6
---S 7
+--S 7 of 22
b:tree := y*y
--R
--R
@@ -57494,7 +57586,7 @@ b:tree := y*y
--R Type: Magma Symbol
--E 7
---S 8
+--S 8 of 22
c:tree := a*b
--R
--R
@@ -57502,7 +57594,7 @@ c:tree := a*b
--R Type: Magma Symbol
--E 8
---S 9
+--S 9 of 22
left c
--R
--R
@@ -57510,7 +57602,7 @@ left c
--R Type: Magma Symbol
--E 9
---S 10
+--S 10 of 22
right c
--R
--R
@@ -57518,7 +57610,7 @@ right c
--R Type: Magma Symbol
--E 10
---S 11
+--S 11 of 22
length c
--R
--R
@@ -57526,7 +57618,7 @@ length c
--R Type: PositiveInteger
--E 11
---S 12
+--S 12 of 22
c::word
--R
--R
@@ -57535,7 +57627,7 @@ c::word
--R Type: OrderedFreeMonoid Symbol
--E 12
---S 13
+--S 13 of 22
a < b
--R
--R
@@ -57543,7 +57635,7 @@ a < b
--R Type: Boolean
--E 13
---S 14
+--S 14 of 22
a < c
--R
--R
@@ -57551,7 +57643,7 @@ a < c
--R Type: Boolean
--E 14
---S 15
+--S 15 of 22
b < c
--R
--R
@@ -57559,7 +57651,7 @@ b < c
--R Type: Boolean
--E 15
---S 16
+--S 16 of 22
first c
--R
--R
@@ -57567,7 +57659,7 @@ first c
--R Type: Symbol
--E 16
---S 17
+--S 17 of 22
rest c
--R
--R
@@ -57575,7 +57667,7 @@ rest c
--R Type: Magma Symbol
--E 17
---S 18
+--S 18 of 22
rest rest c
--R
--R
@@ -57583,7 +57675,7 @@ rest rest c
--R Type: Magma Symbol
--E 18
---S 19
+--S 19 of 22
ax:tree := a*x
--R
--R
@@ -57591,7 +57683,7 @@ ax:tree := a*x
--R Type: Magma Symbol
--E 19
---S 20
+--S 20 of 22
xa:tree := x*a
--R
--R
@@ -57599,7 +57691,7 @@ xa:tree := x*a
--R Type: Magma Symbol
--E 20
---S 21
+--S 21 of 22
xa < ax
--R
--R
@@ -57607,7 +57699,7 @@ xa < ax
--R Type: Boolean
--E 21
---S 22
+--S 22 of 22
lexico(xa,ax)
--R
--R
@@ -62925,7 +63017,7 @@ NonNegativeInteger: Join(OrderedAbelianMonoidSup,Monoid) with
)set message auto off
)clear all
---S 1
+--S 1 of 8
x:=monomial(1,1)$UFPS PF 1783
--R
--R
@@ -62933,7 +63025,7 @@ x:=monomial(1,1)$UFPS PF 1783
--R Type: UnivariateFormalPowerSeries PrimeField 1783
--E 1
---S 2
+--S 2 of 8
s:=retract(sin x)$NOTTING PF 1783
--R
--R
@@ -62942,7 +63034,7 @@ s:=retract(sin x)$NOTTING PF 1783
--R Type: NottinghamGroup PrimeField 1783
--E 2
---S 3
+--S 3 of 8
s^2
--R
--R
@@ -62951,7 +63043,7 @@ s^2
--R Type: NottinghamGroup PrimeField 1783
--E 3
---S 4
+--S 4 of 8
s^-1
--R
--R
@@ -62960,7 +63052,7 @@ s^-1
--R Type: NottinghamGroup PrimeField 1783
--E 4
---S 5
+--S 5 of 8
s^-1*s
--R
--R
@@ -62969,7 +63061,7 @@ s^-1*s
--R Type: NottinghamGroup PrimeField 1783
--E 5
---S 6
+--S 6 of 8
s*s^-1
--R
--R
@@ -62978,14 +63070,14 @@ s*s^-1
--R Type: NottinghamGroup PrimeField 1783
--E 6
---S 7
+--S 7 of 8
sample()$NOTTING(PF(1783))
--R
--R (7) x
--R Type: NottinghamGroup PrimeField 1783
--E 7
---S 8
+--S 8 of 8
)show NottinghamGroup
--R
--R NottinghamGroup F: FiniteFieldCategory is a domain constructor
@@ -65931,7 +66023,7 @@ OrderedFreeMonoid(S: OrderedSet): OFMcategory == OFMdefinition where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 5
ls:List Symbol:=['x,'a,'z]
--R
--R
@@ -65939,7 +66031,7 @@ ls:List Symbol:=['x,'a,'z]
--R Type: List Symbol
--E 1
---S 2
+--S 2 of 5
Z:=OVAR ls
--R
--R
@@ -65947,7 +66039,7 @@ Z:=OVAR ls
--R Type: Domain
--E 2
---S 3
+--S 3 of 5
size()$Z
--R
--R
@@ -65955,7 +66047,7 @@ size()$Z
--R Type: NonNegativeInteger
--E 3
---S 4
+--S 4 of 5
lv:=[index(i::PI)$Z for i in 1..size()$Z]
--R
--I Compiling function G1408 with type Integer -> Boolean
@@ -65965,7 +66057,7 @@ lv:=[index(i::PI)$Z for i in 1..size()$Z]
--R Type: List OrderedVariableList [x,a,z]
--E 4
---S 5
+--S 5 of 5
sorted?(>,lv)
--R
--R
@@ -108074,7 +108166,7 @@ Vector(R:Type): Exports == Implementation where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 5
r := (a; b; if c then d else e; f)
--R
--R
@@ -108083,7 +108175,7 @@ r := (a; b; if c then d else e; f)
--R have written one that does not.
--E 1
---S 2
+--S 2 of 5
a : Integer
--R
--R Type: Void
@@ -108091,7 +108183,7 @@ a : Integer
)set message void on
---S 3
+--S 3 of 5
b : Fraction Integer
--R
--R
@@ -108101,13 +108193,13 @@ b : Fraction Integer
)set message void off
---S 4
+--S 4 of 5
3::Void
--R
--R Type: Void
--E 4
---S 5
+--S 5 of 5
% :: PositiveInteger
--R
--R
diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 0760a9d..2e1056b 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -43693,7 +43693,7 @@ factor t6
)set message auto off
)clear all
---S 1 of 36
+--S 1 of 8
M := SQMATRIX(2,INT)
--R
--R
@@ -43701,7 +43701,7 @@ M := SQMATRIX(2,INT)
--R Type: Domain
--E 1
---S 2 of 36
+--S 2 of 8
m1: M := squareMatrix matrix [ [1, 2], [0, -1] ]
--R
--R
@@ -43711,7 +43711,7 @@ m1: M := squareMatrix matrix [ [1, 2], [0, -1] ]
--R Type: SquareMatrix(2,Integer)
--E 2
---S 3 of 36
+--S 3 of 8
m2: M := squareMatrix matrix [ [2, 3], [1, -2] ]
--R
--R
@@ -43721,7 +43721,7 @@ m2: M := squareMatrix matrix [ [2, 3], [1, -2] ]
--R Type: SquareMatrix(2,Integer)
--E 3
---S 4 of 36
+--S 4 of 8
m3: M := squareMatrix matrix [ [3, 4], [2, -3] ]
--R
--R
@@ -43731,7 +43731,7 @@ m3: M := squareMatrix matrix [ [3, 4], [2, -3] ]
--R Type: SquareMatrix(2,Integer)
--E 4
---S 5 of 36
+--S 5 of 8
linearlyDependentOverZ? vector [m1, m2, m3]
--R
--R
@@ -43739,7 +43739,7 @@ linearlyDependentOverZ? vector [m1, m2, m3]
--R Type: Boolean
--E 5
---S 6 of 36
+--S 6 of 8
c := linearDependenceOverZ vector [m1, m2, m3]
--R
--R
@@ -43747,7 +43747,7 @@ c := linearDependenceOverZ vector [m1, m2, m3]
--R Type: Union(Vector Integer,...)
--E 6
---S 7 of 36
+--S 7 of 8
c.1 * m1 + c.2 * m2 + c.3 * m3
--R
--R
@@ -43757,7 +43757,7 @@ c.1 * m1 + c.2 * m2 + c.3 * m3
--R Type: SquareMatrix(2,Integer)
--E 7
---S 8 of 36
+--S 8 of 8
solveLinearlyOverQ(vector [m1, m3], m2)
--R
--R
@@ -54949,7 +54949,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 26
power(q: FRAC INT, n: INT): FRAC INT == q**n
--R
--R Function declaration power : (Fraction Integer,Integer) -> Fraction
@@ -54957,7 +54957,7 @@ power(q: FRAC INT, n: INT): FRAC INT == q**n
--R Type: Void
--E 1
---S 2
+--S 2 of 26
power(2,3)
--R
--R Compiling function power with type (Fraction Integer,Integer) ->
@@ -54967,7 +54967,7 @@ power(2,3)
--R Type: Fraction Integer
--E 2
---S 3
+--S 3 of 26
rewop := twist power
--R
--R
@@ -54975,7 +54975,7 @@ rewop := twist power
--R Type: ((Integer,Fraction Integer) -> Fraction Integer)
--E 3
---S 4
+--S 4 of 26
rewop(3, 2)
--R
--R
@@ -54983,13 +54983,13 @@ rewop(3, 2)
--R Type: Fraction Integer
--E 4
---S 5
+--S 5 of 26
square: FRAC INT -> FRAC INT
--R
--R Type: Void
--E 5
---S 6
+--S 6 of 26
square:= curryRight(power, 2)
--R
--R
@@ -54997,7 +54997,7 @@ square:= curryRight(power, 2)
--R Type: (Fraction Integer -> Fraction Integer)
--E 6
---S 7
+--S 7 of 26
square 4
--R
--R
@@ -55005,7 +55005,7 @@ square 4
--R Type: Fraction Integer
--E 7
---S 8
+--S 8 of 26
squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)
--R
--R
@@ -55013,7 +55013,7 @@ squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)
--R Type: ((Fraction Integer,Fraction Integer) -> Fraction Integer)
--E 8
---S 9
+--S 9 of 26
squirrel(1/2, 1/3)
--R
--R
@@ -55023,7 +55023,7 @@ squirrel(1/2, 1/3)
--R Type: Fraction Integer
--E 9
---S 10
+--S 10 of 26
sixteen := curry(square, 4/1)
--R
--R
@@ -55031,7 +55031,7 @@ sixteen := curry(square, 4/1)
--R Type: (() -> Fraction Integer)
--E 10
---S 11
+--S 11 of 26
sixteen()
--R
--R
@@ -55039,7 +55039,7 @@ sixteen()
--R Type: Fraction Integer
--E 11
---S 12
+--S 12 of 26
square2:=square*square
--R
--R
@@ -55047,7 +55047,7 @@ square2:=square*square
--R Type: (Fraction Integer -> Fraction Integer)
--E 12
---S 13
+--S 13 of 26
square2 3
--R
--R
@@ -55055,7 +55055,7 @@ square2 3
--R Type: Fraction Integer
--E 13
---S 14
+--S 14 of 26
sc(x: FRAC INT): FRAC INT == x + 1
--R
--R Function declaration sc : Fraction Integer -> Fraction Integer has
@@ -55063,7 +55063,7 @@ sc(x: FRAC INT): FRAC INT == x + 1
--R Type: Void
--E 14
---S 15
+--S 15 of 26
incfns := [sc**i for i in 0..10]
--R
--R Compiling function sc with type Fraction Integer -> Fraction Integer
@@ -55079,7 +55079,7 @@ incfns := [sc**i for i in 0..10]
--R Type: List (Fraction Integer -> Fraction Integer)
--E 15
---S 16
+--S 16 of 26
[f 4 for f in incfns]
--R
--R
@@ -55087,7 +55087,7 @@ incfns := [sc**i for i in 0..10]
--R Type: List Fraction Integer
--E 16
---S 17
+--S 17 of 26
times(n:NNI, i:INT):INT == n*i
--R
--R Function declaration times : (NonNegativeInteger,Integer) -> Integer
@@ -55095,7 +55095,7 @@ times(n:NNI, i:INT):INT == n*i
--R Type: Void
--E 17
---S 18
+--S 18 of 26
r := recur(times)
--R
--R Compiling function times with type (NonNegativeInteger,Integer) ->
@@ -55105,7 +55105,7 @@ r := recur(times)
--R Type: ((NonNegativeInteger,Integer) -> Integer)
--E 18
---S 19
+--S 19 of 26
fact := curryRight(r, 1)
--R
--R
@@ -55113,7 +55113,7 @@ fact := curryRight(r, 1)
--R Type: (NonNegativeInteger -> Integer)
--E 19
---S 20
+--S 20 of 26
fact 4
--R
--R
@@ -55121,7 +55121,7 @@ fact 4
--R Type: PositiveInteger
--E 20
---S 21
+--S 21 of 26
mto2ton(m, n) ==
raiser := square^n
raiser m
@@ -55129,7 +55129,7 @@ mto2ton(m, n) ==
--R Type: Void
--E 21
---S 22
+--S 22 of 26
mto2ton(3, 3)
--R
--R Compiling function mto2ton with type (PositiveInteger,
@@ -55139,7 +55139,7 @@ mto2ton(3, 3)
--R Type: Fraction Integer
--E 22
---S 23
+--S 23 of 26
shiftfib(r: List INT) : INT ==
t := r.1
r.1 := r.2
@@ -55151,7 +55151,7 @@ shiftfib(r: List INT) : INT ==
--R Type: Void
--E 23
---S 24
+--S 24 of 26
fibinit: List INT := [0, 1]
--R
--R
@@ -55159,7 +55159,7 @@ fibinit: List INT := [0, 1]
--R Type: List Integer
--E 24
---S 25
+--S 25 of 26
fibs := curry(shiftfib, fibinit)
--R
--R Compiling function shiftfib with type List Integer -> Integer
@@ -55168,7 +55168,7 @@ fibs := curry(shiftfib, fibinit)
--R Type: (() -> Integer)
--E 25
---S 26
+--S 26 of 26
[fibs() for i in 0..30]
--R
--R
@@ -55426,7 +55426,7 @@ MappingPackage2(A:SetCategory, C:SetCategory): MPcat == MPdef where
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 26
power(q: FRAC INT, n: INT): FRAC INT == q**n
--R
--R Function declaration power : (Fraction Integer,Integer) -> Fraction
@@ -55434,7 +55434,7 @@ power(q: FRAC INT, n: INT): FRAC INT == q**n
--R Type: Void
--E 1
---S 2
+--S 2 of 26
power(2,3)
--R
--R Compiling function power with type (Fraction Integer,Integer) ->
@@ -55444,7 +55444,7 @@ power(2,3)
--R Type: Fraction Integer
--E 2
---S 3
+--S 3 of 26
rewop := twist power
--R
--R
@@ -55452,7 +55452,7 @@ rewop := twist power
--R Type: ((Integer,Fraction Integer) -> Fraction Integer)
--E 3
---S 4
+--S 4 of 26
rewop(3, 2)
--R
--R
@@ -55460,13 +55460,13 @@ rewop(3, 2)
--R Type: Fraction Integer
--E 4
---S 5
+--S 5 of 26
square: FRAC INT -> FRAC INT
--R
--R Type: Void
--E 5
---S 6
+--S 6 of 26
square:= curryRight(power, 2)
--R
--R
@@ -55474,7 +55474,7 @@ square:= curryRight(power, 2)
--R Type: (Fraction Integer -> Fraction Integer)
--E 6
---S 7
+--S 7 of 26
square 4
--R
--R
@@ -55482,7 +55482,7 @@ square 4
--R Type: Fraction Integer
--E 7
---S 8
+--S 8 of 26
squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)
--R
--R
@@ -55490,7 +55490,7 @@ squirrel:= constantRight(square)$MAPPKG3(FRAC INT,FRAC INT,FRAC INT)
--R Type: ((Fraction Integer,Fraction Integer) -> Fraction Integer)
--E 8
---S 9
+--S 9 of 26
squirrel(1/2, 1/3)
--R
--R
@@ -55500,7 +55500,7 @@ squirrel(1/2, 1/3)
--R Type: Fraction Integer
--E 9
---S 10
+--S 10 of 26
sixteen := curry(square, 4/1)
--R
--R
@@ -55508,7 +55508,7 @@ sixteen := curry(square, 4/1)
--R Type: (() -> Fraction Integer)
--E 10
---S 11
+--S 11 of 26
sixteen()
--R
--R
@@ -55516,7 +55516,7 @@ sixteen()
--R Type: Fraction Integer
--E 11
---S 12
+--S 12 of 26
square2:=square*square
--R
--R
@@ -55524,7 +55524,7 @@ square2:=square*square
--R Type: (Fraction Integer -> Fraction Integer)
--E 12
---S 13
+--S 13 of 26
square2 3
--R
--R
@@ -55532,7 +55532,7 @@ square2 3
--R Type: Fraction Integer
--E 13
---S 14
+--S 14 of 26
sc(x: FRAC INT): FRAC INT == x + 1
--R
--R Function declaration sc : Fraction Integer -> Fraction Integer has
@@ -55540,7 +55540,7 @@ sc(x: FRAC INT): FRAC INT == x + 1
--R Type: Void
--E 14
---S 15
+--S 15 of 26
incfns := [sc**i for i in 0..10]
--R
--R Compiling function sc with type Fraction Integer -> Fraction Integer
@@ -55556,7 +55556,7 @@ incfns := [sc**i for i in 0..10]
--R Type: List (Fraction Integer -> Fraction Integer)
--E 15
---S 16
+--S 16 of 26
[f 4 for f in incfns]
--R
--R
@@ -55564,7 +55564,7 @@ incfns := [sc**i for i in 0..10]
--R Type: List Fraction Integer
--E 16
---S 17
+--S 17 of 26
times(n:NNI, i:INT):INT == n*i
--R
--R Function declaration times : (NonNegativeInteger,Integer) -> Integer
@@ -55572,7 +55572,7 @@ times(n:NNI, i:INT):INT == n*i
--R Type: Void
--E 17
---S 18
+--S 18 of 26
r := recur(times)
--R
--R Compiling function times with type (NonNegativeInteger,Integer) ->
@@ -55582,7 +55582,7 @@ r := recur(times)
--R Type: ((NonNegativeInteger,Integer) -> Integer)
--E 18
---S 19
+--S 19 of 26
fact := curryRight(r, 1)
--R
--R
@@ -55590,7 +55590,7 @@ fact := curryRight(r, 1)
--R Type: (NonNegativeInteger -> Integer)
--E 19
---S 20
+--S 20 of 26
fact 4
--R
--R
@@ -55598,7 +55598,7 @@ fact 4
--R Type: PositiveInteger
--E 20
---S 21
+--S 21 of 26
mto2ton(m, n) ==
raiser := square^n
raiser m
@@ -55606,7 +55606,7 @@ mto2ton(m, n) ==
--R Type: Void
--E 21
---S 22
+--S 22 of 26
mto2ton(3, 3)
--R
--R Compiling function mto2ton with type (PositiveInteger,
@@ -55616,7 +55616,7 @@ mto2ton(3, 3)
--R Type: Fraction Integer
--E 22
---S 23
+--S 23 of 26
shiftfib(r: List INT) : INT ==
t := r.1
r.1 := r.2
@@ -55628,7 +55628,7 @@ shiftfib(r: List INT) : INT ==
--R Type: Void
--E 23
---S 24
+--S 24 of 26
fibinit: List INT := [0, 1]
--R
--R
@@ -55636,7 +55636,7 @@ fibinit: List INT := [0, 1]
--R Type: List Integer
--E 24
---S 25
+--S 25 of 26
fibs := curry(shiftfib, fibinit)
--R
--R Compiling function shiftfib with type List Integer -> Integer
@@ -55645,7 +55645,7 @@ fibs := curry(shiftfib, fibinit)
--R Type: (() -> Integer)
--E 25
---S 26
+--S 26 of 26
[fibs() for i in 0..30]
--R
--R
diff --git a/changelog b/changelog
index 8457c12..2278c93 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,12 @@
+20090410 tpd src/axiom-website/patches.html 20090410.01.tpd.patch
+20090410 tpd src/input/mappkg1.input removed, moved to algebra books
+20090410 tpd src/input/parabola.input fix regress format
+20090410 tpd src/input/gstbl.input fix regress format
+20090410 tpd src/input/fixed.input fix regress format
+20090410 tpd src/input/ffx72.input fix regress format
+20090410 tpd src/input/Makefile fix regress format
+20090410 tpd books/bookvol10.4 fix regress format
+20090410 tpd books/bookvol10.3 fix regress format
20090409 tpd src/axiom-website/patches.html 20090409.01.tpd.patch
20090409 tpd src/algebra/Makefile move egrep to grep -E
20090408 tpd src/axiom-website/patches.html 20090408.01.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 5b9c3c7..96c30db 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1058,5 +1058,7 @@ src/doc remove unused files
bookvol5 collect help files
20090409.01.tpd.patch
src/algebra/Makefile egrep -> grep -E
+20090410.01.tpd.patch
+fix regress format