diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 44a6905..281796a 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -4534,6 +4534,7 @@ digraph pic {
 
 --S 1 of 1
 )show Comparable
+--R 
 --R Comparable  is a category constructor
 --R Abbreviation for Comparable is COMPAR 
 --R This constructor is exposed in this frame.
@@ -4543,6 +4544,7 @@ digraph pic {
 --R ?=? : (%,%) -> Boolean                coerce : % -> OutputForm
 --R hash : % -> SingleInteger             latex : % -> String
 --R smaller? : (%,%) -> Boolean           ?~=? : (%,%) -> Boolean
+--R
 --E 1
 
 )spool
@@ -20908,6 +20910,7 @@ digraph pic {
 
 --S 1 of 1
 )show OrderedAbelianSemiGroup
+--R 
 --R OrderedAbelianSemiGroup  is a category constructor
 --R Abbreviation for OrderedAbelianSemiGroup is OASGP 
 --R This constructor is exposed in this frame.
@@ -20917,12 +20920,10 @@ digraph pic {
 --R ?*? : (PositiveInteger,%) -> %        ?+? : (%,%) -> %
 --R ?<? : (%,%) -> Boolean                ?<=? : (%,%) -> Boolean
 --R ?=? : (%,%) -> Boolean                ?>? : (%,%) -> Boolean
---R ?>=? : (%,%) -> Boolean               0 : () -> %
---R coerce : % -> OutputForm              hash : % -> SingleInteger
---R latex : % -> String                   max : (%,%) -> %
---R min : (%,%) -> %                      sample : () -> %
---R zero? : % -> Boolean                  ?~=? : (%,%) -> Boolean
---R ?*? : (NonNegativeInteger,%) -> %
+--R ?>=? : (%,%) -> Boolean               coerce : % -> OutputForm
+--R hash : % -> SingleInteger             latex : % -> String
+--R max : (%,%) -> %                      min : (%,%) -> %
+--R ?~=? : (%,%) -> Boolean              
 --R
 --E 1
 
@@ -51547,6 +51548,7 @@ digraph pic {
 --R characteristic : () -> NonNegativeInteger
 --R exquo : (%,%) -> Union(%,"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R subtractIfCan : (%,%) -> Union(%,"failed")
 --R unitNormal : % -> Record(unit: %,canonical: %,associate: %)
 --R
@@ -52560,6 +52562,7 @@ digraph pic {
 --R characteristic : () -> NonNegativeInteger
 --R exquo : (%,%) -> Union(%,"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R retractIfCan : % -> Union(Integer,"failed")
 --R subtractIfCan : (%,%) -> Union(%,"failed")
 --R unitNormal : % -> Record(unit: %,canonical: %,associate: %)
@@ -53306,6 +53309,7 @@ digraph pic {
 --R expressIdealMember : (List(%),%) -> Union(List(%),"failed")
 --R exquo : (%,%) -> Union(%,"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R principalIdeal : List(%) -> Record(coef: List(%),generator: %)
 --R subtractIfCan : (%,%) -> Union(%,"failed")
 --R unitNormal : % -> Record(unit: %,canonical: %,associate: %)
@@ -53557,6 +53561,7 @@ digraph pic {
 --R characteristic : () -> NonNegativeInteger
 --R exquo : (%,%) -> Union(%,"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R subtractIfCan : (%,%) -> Union(%,"failed")
 --R unitNormal : % -> Record(unit: %,canonical: %,associate: %)
 --R
@@ -54085,6 +54090,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R principalIdeal : List(%) -> Record(coef: List(%),generator: %)
 --R subtractIfCan : (%,%) -> Union(%,"failed")
@@ -54965,6 +54971,7 @@ digraph pic {
 --R factorPolynomial : SparseUnivariatePolynomial(%) -> Factored(SparseUnivariatePolynomial(%))
 --R factorSquareFreePolynomial : SparseUnivariatePolynomial(%) -> Factored(SparseUnivariatePolynomial(%))
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R solveLinearPolynomialEquation : (List(SparseUnivariatePolynomial(%)),SparseUnivariatePolynomial(%)) -> Union(List(SparseUnivariatePolynomial(%)),"failed")
 --R squareFreePolynomial : SparseUnivariatePolynomial(%) -> Factored(SparseUnivariatePolynomial(%))
 --R subtractIfCan : (%,%) -> Union(%,"failed")
@@ -55803,6 +55810,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R principalIdeal : List(%) -> Record(coef: List(%),generator: %)
 --R subtractIfCan : (%,%) -> Union(%,"failed")
@@ -56162,6 +56170,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R nextItem : % -> Union(%,"failed")
 --R patternMatch : (%,Pattern(Integer),PatternMatchResult(Integer,%)) -> PatternMatchResult(Integer,%)
@@ -56791,6 +56800,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R monomial : (%,SingletonAsOrderedSet,Integer) -> %
 --R monomial : (%,List(SingletonAsOrderedSet),List(Integer)) -> %
 --R monomial2series : (List(%),List(NonNegativeInteger),Integer) -> %
@@ -57223,6 +57233,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R principalIdeal : List(%) -> Record(coef: List(%),generator: %)
 --R root : (SparseUnivariatePolynomial(Integer),Integer) -> %
@@ -57585,6 +57596,7 @@ digraph pic {
 --R isTimes : % -> Union(List(%),"failed")
 --R lcm : (%,%) -> % if R has GCDDOM
 --R lcm : List(%) -> % if R has GCDDOM
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has GCDDOM
 --R mainVariable : % -> Union(VarSet,"failed")
 --R max : (%,%) -> % if R has ORDSET
 --R min : (%,%) -> % if R has ORDSET
@@ -60100,6 +60112,7 @@ digraph pic {
 --R isTimes : % -> Union(List(%),"failed")
 --R lcm : (%,%) -> % if R has GCDDOM
 --R lcm : List(%) -> % if R has GCDDOM
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has GCDDOM
 --R mainVariable : % -> Union(V,"failed")
 --R makeVariable : % -> (NonNegativeInteger -> %) if R has DIFRING
 --R makeVariable : S -> (NonNegativeInteger -> %)
@@ -60942,6 +60955,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R order : % -> OnePointCompletion(PositiveInteger)
 --R primeFrobenius : (%,NonNegativeInteger) -> %
@@ -61660,6 +61674,7 @@ digraph pic {
 --R kernel : (BasicOperator,List(%)) -> %
 --R lcm : (%,%) -> % if R has INTDOM
 --R lcm : List(%) -> % if R has INTDOM
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has INTDOM
 --R mainKernel : % -> Union(Kernel(%),"failed")
 --R map : ((% -> %),Kernel(%)) -> %
 --R minPoly : Kernel(%) -> SparseUnivariatePolynomial(%) if $ has RING
@@ -63297,6 +63312,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R lift : (%,%) -> SparseUnivariatePolynomial(%)
 --R lift : % -> SparseUnivariatePolynomial(%)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
@@ -63712,6 +63728,7 @@ digraph pic {
 --R factorSquareFreePolynomial : SparseUnivariatePolynomial(%) -> Factored(SparseUnivariatePolynomial(%)) if S has PFECAT
 --R fractionPart : % -> % if S has EUCDOM
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R max : (%,%) -> % if S has ORDSET
 --R min : (%,%) -> % if S has ORDSET
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
@@ -64387,6 +64404,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R mainDefiningPolynomial : % -> Union(SparseUnivariatePolynomial(%),"failed")
 --R mainForm : % -> Union(OutputForm,"failed")
 --R mainValue : % -> Union(SparseUnivariatePolynomial(%),"failed")
@@ -64931,6 +64949,7 @@ digraph pic {
 --R extendedEuclidean : (%,%,%) -> Union(Record(coef1: %,coef2: %),"failed")
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R patternMatch : (%,Pattern(Float),PatternMatchResult(Float,%)) -> PatternMatchResult(Float,%)
 --R principalIdeal : List(%) -> Record(coef: List(%),generator: %)
@@ -65434,6 +65453,7 @@ digraph pic {
 --R lazyResidueClass : (%,%) -> Record(polnum: %,polden: %,power: NonNegativeInteger)
 --R lcm : (%,%) -> % if R has GCDDOM
 --R lcm : List(%) -> % if R has GCDDOM
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has GCDDOM
 --R mainContent : % -> % if R has GCDDOM
 --R mainPrimitivePart : % -> % if R has GCDDOM
 --R mainSquareFreePart : % -> % if R has GCDDOM
@@ -67387,6 +67407,7 @@ digraph pic {
 --R inv : % -> % if Coef has FIELD
 --R lcm : (%,%) -> % if Coef has FIELD
 --R lcm : List(%) -> % if Coef has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if Coef has FIELD
 --R log : % -> % if Coef has ALGEBRA(FRAC(INT))
 --R monomial : (%,List(SingletonAsOrderedSet),List(Integer)) -> %
 --R monomial : (%,SingletonAsOrderedSet,Integer) -> %
@@ -68041,6 +68062,7 @@ digraph pic {
 --R inv : % -> % if Coef has FIELD
 --R lcm : (%,%) -> % if Coef has FIELD
 --R lcm : List(%) -> % if Coef has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if Coef has FIELD
 --R log : % -> % if Coef has ALGEBRA(FRAC(INT))
 --R monomial : (%,List(SingletonAsOrderedSet),List(Fraction(Integer))) -> %
 --R monomial : (%,SingletonAsOrderedSet,Fraction(Integer)) -> %
@@ -68561,6 +68583,7 @@ digraph pic {
 
 --S 1 of 4
 )show UnivariatePolynomialCategory
+--R 
 --R UnivariatePolynomialCategory(R: Ring)  is a category constructor
 --R Abbreviation for UnivariatePolynomialCategory is UPOLYC 
 --R This constructor is exposed in this frame.
@@ -68739,6 +68762,7 @@ digraph pic {
 --R unmakeSUP : SparseUnivariatePolynomial(R) -> %
 --R variables : % -> List(SingletonAsOrderedSet)
 --R vectorise : (%,NonNegativeInteger) -> Vector(R)
+--R
 --E 1
 
 --S 2 of 4
@@ -69910,6 +69934,7 @@ digraph pic {
 --R isPower : % -> Union(Record(val: %,exponent: Integer),"failed") if R has RING
 --R isTimes : % -> Union(List(%),"failed") if R has SGROUP
 --R kernel : (BasicOperator,List(%)) -> %
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R mainKernel : % -> Union(Kernel(%),"failed")
 --R map : ((% -> %),Kernel(%)) -> %
 --R minPoly : Kernel(%) -> SparseUnivariatePolynomial(%) if $ has RING
@@ -70606,6 +70631,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R extensionDegree : () -> OnePointCompletion(PositiveInteger)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R order : % -> OnePointCompletion(PositiveInteger) if F has CHARNZ or F has FINITE
 --R primeFrobenius : % -> % if F has CHARNZ or F has FINITE
@@ -70964,6 +70990,7 @@ digraph pic {
 
 --S 1 of 1
 )show FiniteFieldCategory
+--R 
 --R FiniteFieldCategory  is a category constructor
 --R Abbreviation for FiniteFieldCategory is FFIELDC 
 --R This constructor is exposed in this frame.
@@ -71016,6 +71043,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R factorsOfCyclicGroupSize : () -> List(Record(factor: Integer,exponent: Integer))
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
 --R nextItem : % -> Union(%,"failed")
 --R order : % -> OnePointCompletion(PositiveInteger)
@@ -71610,6 +71638,7 @@ digraph pic {
 --R float : (Integer,Integer,PositiveInteger) -> %
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
 --R increasePrecision : Integer -> PositiveInteger if $ has arbitraryPrecision
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R max : () -> % if not(has($,arbitraryPrecision)) and not(has($,arbitraryExponent))
 --R min : () -> % if not(has($,arbitraryPrecision)) and not(has($,arbitraryExponent))
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
@@ -72363,6 +72392,7 @@ digraph pic {
 
 --S 1 of 1
 )show PseudoAlgebraicClosureOfFiniteFieldCategory
+--R 
 --R PseudoAlgebraicClosureOfFiniteFieldCategory  is a category constructor
 --R Abbreviation for PseudoAlgebraicClosureOfFiniteFieldCategory is PACFFC 
 --R This constructor is exposed in this frame.
@@ -72422,6 +72452,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R factorsOfCyclicGroupSize : () -> List(Record(factor: Integer,exponent: Integer))
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R lift : % -> SparseUnivariatePolynomial(%)
 --R lift : (%,%) -> SparseUnivariatePolynomial(%)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
@@ -72886,6 +72917,7 @@ digraph pic {
 --R inv : % -> % if Coef has FIELD
 --R lcm : (%,%) -> % if Coef has FIELD
 --R lcm : List(%) -> % if Coef has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if Coef has FIELD
 --R log : % -> % if Coef has ALGEBRA(FRAC(INT))
 --R map : ((UTS -> UTS),%) -> % if Coef has FIELD
 --R max : (%,%) -> % if and(has(UTS,OrderedSet),has(Coef,Field))
@@ -73718,6 +73750,7 @@ digraph pic {
 --R laurentIfCan : % -> Union(ULS,"failed")
 --R lcm : (%,%) -> % if Coef has FIELD
 --R lcm : List(%) -> % if Coef has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if Coef has FIELD
 --R log : % -> % if Coef has ALGEBRA(FRAC(INT))
 --R monomial : (%,List(SingletonAsOrderedSet),List(Fraction(Integer))) -> %
 --R monomial : (%,SingletonAsOrderedSet,Fraction(Integer)) -> %
@@ -74242,6 +74275,7 @@ digraph pic {
 
 --S 1 of 1
 )show FiniteAlgebraicExtensionField
+--R 
 --R FiniteAlgebraicExtensionField(F: Field)  is a category constructor
 --R Abbreviation for FiniteAlgebraicExtensionField is FAXF 
 --R This constructor is exposed in this frame.
@@ -74311,6 +74345,7 @@ digraph pic {
 --R generator : () -> % if F has FINITE
 --R index : PositiveInteger -> % if F has FINITE
 --R init : () -> % if F has FINITE
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R linearAssociatedExp : (%,SparseUnivariatePolynomial(F)) -> % if F has FINITE
 --R linearAssociatedLog : (%,%) -> Union(SparseUnivariatePolynomial(F),"failed") if F has FINITE
 --R linearAssociatedLog : % -> SparseUnivariatePolynomial(F) if F has FINITE
@@ -75056,6 +75091,7 @@ digraph pic {
 
 --S 1 of 1
 )show MonogenicAlgebra
+--R 
 --R MonogenicAlgebra(R: CommutativeRing,UP: UnivariatePolynomialCategory(t#1))  is a category constructor
 --R Abbreviation for MonogenicAlgebra is MONOGEN 
 --R This constructor is exposed in this frame.
@@ -75138,6 +75174,7 @@ digraph pic {
 --R init : () -> % if R has FFIELDC
 --R lcm : (%,%) -> % if R has FIELD
 --R lcm : List(%) -> % if R has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has FIELD
 --R lookup : % -> PositiveInteger if R has FINITE
 --R minimalPolynomial : % -> UP if R has FIELD
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed") if R has FIELD
@@ -75752,6 +75789,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R extensionDegree : () -> OnePointCompletion(PositiveInteger)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R lift : (%,%) -> SparseUnivariatePolynomial(%)
 --R lift : % -> SparseUnivariatePolynomial(%)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
@@ -76093,6 +76131,7 @@ digraph pic {
 
 --S 1 of 1
 )show ComplexCategory
+--R 
 --R ComplexCategory(R: CommutativeRing)  is a category constructor
 --R Abbreviation for ComplexCategory is COMPCAT 
 --R This constructor is exposed in this frame.
@@ -76220,6 +76259,7 @@ digraph pic {
 --R init : () -> % if R has FFIELDC
 --R lcm : (%,%) -> % if R has EUCDOM or R has EUCDOM and R has PFECAT
 --R lcm : List(%) -> % if R has EUCDOM or R has EUCDOM and R has PFECAT
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if R has EUCDOM or R has EUCDOM and R has PFECAT
 --R lift : % -> SparseUnivariatePolynomial(R)
 --R log : % -> % if R has TRANFUN
 --R lookup : % -> PositiveInteger if R has FINITE
@@ -77236,6 +77276,7 @@ digraph pic {
 
 --S 1 of 1
 )show FunctionFieldCategory
+--R 
 --R FunctionFieldCategory(F: UniqueFactorizationDomain,UP: UnivariatePolynomialCategory(t#1),UPUP: UnivariatePolynomialCategory(Fraction(t#2)))  is a category constructor
 --R Abbreviation for FunctionFieldCategory is FFCAT 
 --R This constructor is exposed in this frame.
@@ -77343,6 +77384,7 @@ digraph pic {
 --R inverseIntegralMatrixAtInfinity : () -> Matrix(Fraction(UP))
 --R lcm : (%,%) -> % if Fraction(UP) has FIELD
 --R lcm : List(%) -> % if Fraction(UP) has FIELD
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %) if Fraction(UP) has FIELD
 --R lookup : % -> PositiveInteger if Fraction(UP) has FINITE
 --R minimalPolynomial : % -> UPUP if Fraction(UP) has FIELD
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed") if Fraction(UP) has FIELD
@@ -78509,6 +78551,7 @@ digraph pic {
 --R extendedEuclidean : (%,%) -> Record(coef1: %,coef2: %,generator: %)
 --R extensionDegree : () -> OnePointCompletion(PositiveInteger)
 --R gcdPolynomial : (SparseUnivariatePolynomial(%),SparseUnivariatePolynomial(%)) -> SparseUnivariatePolynomial(%)
+--R lcmCoef : (%,%) -> Record(llcmres: %,coeff1: %,coeff2: %)
 --R lift : (%,%) -> SparseUnivariatePolynomial(%)
 --R lift : % -> SparseUnivariatePolynomial(%)
 --R multiEuclidean : (List(%),%) -> Union(List(%),"failed")
diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index f8a3ab2..739b4d0 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -103271,7 +103271,7 @@ Permutation(S:SetCategory): public == private where
 )set message auto off
 )clear all
 
---S 1 of 68
+--S 1 of 13
 x : PERM INT := [[1,3,5],[7,11,9]]
 --R 
 --R
@@ -103279,7 +103279,7 @@ x : PERM INT := [[1,3,5],[7,11,9]]
 --R                                                   Type: Permutation(Integer)
 --E 1
 
---S 2 of 68
+--S 2 of 13
 y : PERM INT := [[3,5,7,9]]
 --R 
 --R
@@ -103287,7 +103287,7 @@ y : PERM INT := [[3,5,7,9]]
 --R                                                   Type: Permutation(Integer)
 --E 2
 
---S 3 of 68
+--S 3 of 13
 z : PERM INT := [1,3,11]
 --R 
 --R
@@ -103295,7 +103295,7 @@ z : PERM INT := [1,3,11]
 --R                                                   Type: Permutation(Integer)
 --E 3
 
---S 4 of 68
+--S 4 of 13
 g1 : PERMGRP INT := [ x , y ]
 --R 
 --R
@@ -103303,7 +103303,7 @@ g1 : PERMGRP INT := [ x , y ]
 --R                                              Type: PermutationGroup(Integer)
 --E 4
 
---S 5 of 68
+--S 5 of 13
 g2 : PERMGRP INT := [ x , z ]
 --R 
 --R
@@ -103311,7 +103311,7 @@ g2 : PERMGRP INT := [ x , z ]
 --R                                              Type: PermutationGroup(Integer)
 --E 5
 
---S 6 of 68
+--S 6 of 13
 g3 : PERMGRP INT := [ y , z ]
 --R 
 --R
@@ -103319,7 +103319,7 @@ g3 : PERMGRP INT := [ y , z ]
 --R                                              Type: PermutationGroup(Integer)
 --E 6
 
---S 7 of 68
+--S 7 of 13
 order g1
 --R 
 --R
@@ -103327,7 +103327,7 @@ order g1
 --R                                                        Type: PositiveInteger
 --E 7
 
---S 8 of 68
+--S 8 of 13
 degree g3
 --R 
 --R
@@ -103335,7 +103335,7 @@ degree g3
 --R                                                        Type: PositiveInteger
 --E 8
 
---S 9 of 68
+--S 9 of 13
 movedPoints g2
 --R 
 --R
@@ -103343,7 +103343,7 @@ movedPoints g2
 --R                                                           Type: Set(Integer)
 --E 9
 
---S 10 of 68
+--S 10 of 13
 orbit (g1, 3)
 --R 
 --R
@@ -103351,7 +103351,7 @@ orbit (g1, 3)
 --R                                                           Type: Set(Integer)
 --E 10
 
---S 11 of 68
+--S 11 of 13
 orbits g3
 --R 
 --R
@@ -103359,7 +103359,7 @@ orbits g3
 --R                                                      Type: Set(Set(Integer))
 --E 11
 
---S 12 of 68
+--S 12 of 13
 member? ( y , g2 )
 --R 
 --R
@@ -103367,7 +103367,7 @@ member? ( y , g2 )
 --R                                                                Type: Boolean
 --E 12
 
---S 13 of 68
+--S 13 of 13
 )sh PERMGRP
 --R 
 --R PermutationGroup(S: SetCategory)  is a domain constructor
diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 5bcf68b..cf88308 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -4212,44 +4212,45 @@ credits()
 --RChristian Aistleitner  Richard Anderson       George Andrews
 --RS.J. Atkins            Henry Baker            Martin Baker
 --RStephen Balzac         Yurij Baransky         David R. Barton
---RGerald Baumgartner     Gilbert Baumslag       Michael Becker
---RNelson H. F. Beebe     Jay Belanger           David Bindel
---RFred Blair             Vladimir Bondarenko    Mark Botch
---RRaoul Bourquin         Alexandre Bouyer       Karen Braman
---RPeter A. Broadbery     Martin Brock           Manuel Bronstein
---RStephen Buchwald       Florian Bundschuh      Luanne Burns
---RWilliam Burge          Ralph Byers            Quentin Carpent
---RRobert Caviness        Bruce Char             Ondrej Certik
---RTzu-Yi Chen            Cheekai Chin           David V. Chudnovsky
---RGregory V. Chudnovsky  Mark Clements          James Cloos
---RJia Zhao Cong          Josh Cohen             Christophe Conil
---RDon Coppersmith        George Corliss         Robert Corless
---RGary Cornell           Meino Cramer           Jeremy Du Croz
---RDavid Cyganski         Nathaniel Daly         Timothy Daly Sr.
---RTimothy Daly Jr.       James H. Davenport     David Day
---RJames Demmel           Didier Deshommes       Michael Dewar
---RJack Dongarra          Jean Della Dora        Gabriel Dos Reis
---RClaire DiCrescendo     Sam Dooley             Lionel Ducos
---RIain Duff              Lee Duhem              Martin Dunstan
---RBrian Dupee            Dominique Duval        Robert Edwards
---RHeow Eide-Goodman      Lars Erickson          Richard Fateman
---RBertfried Fauser       Stuart Feldman         John Fletcher
---RBrian Ford             Albrecht Fortenbacher  George Frances
---RConstantine Frangos    Timothy Freeman        Korrinn Fu
---RMarc Gaetano           Rudiger Gebauer        Van de Geijn
---RKathy Gerber           Patricia Gianni        Samantha Goldrich
---RHolger Gollan          Teresa Gomez-Diaz      Laureano Gonzalez-Vega 
---RStephen Gortler        Johannes Grabmeier     Matt Grayson
---RKlaus Ebbe Grue        James Griesmer         Vladimir Grinberg
---ROswald Gschnitzer      Ming Gu                Jocelyn Guidry
---RGaetan Hache           Steve Hague            Satoshi Hamaguchi
---RSven Hammarling        Mike Hansen            Richard Hanson
---RRichard Harke          Bill Hart              Vilya Harvey
---RMartin Hassner         Arthur S. Hathaway     Dan Hatton
---RWaldek Hebisch         Karl Hegbloom          Ralf Hemmecke
---RHenderson              Antoine Hersen         Roger House
---RGernot Hueber          Pietro Iglio           Alejandro Jakubi
---RRichard Jenks          William Kahan          Kai Kaminski
+--RThomas Baruchel        Gerald Baumgartner     Gilbert Baumslag
+--RMichael Becker         Nelson H. F. Beebe     Jay Belanger
+--RDavid Bindel           Fred Blair             Vladimir Bondarenko
+--RMark Botch             Raoul Bourquin         Alexandre Bouyer
+--RKaren Braman           Peter A. Broadbery     Martin Brock
+--RManuel Bronstein       Stephen Buchwald       Florian Bundschuh
+--RLuanne Burns           William Burge          Ralph Byers
+--RQuentin Carpent        Robert Caviness        Bruce Char
+--ROndrej Certik          Tzu-Yi Chen            Cheekai Chin
+--RDavid V. Chudnovsky    Gregory V. Chudnovsky  Mark Clements
+--RJames Cloos            Jia Zhao Cong          Josh Cohen
+--RChristophe Conil       Don Coppersmith        George Corliss
+--RRobert Corless         Gary Cornell           Meino Cramer
+--RJeremy Du Croz         David Cyganski         Nathaniel Daly
+--RTimothy Daly Sr.       Timothy Daly Jr.       James H. Davenport
+--RDavid Day              James Demmel           Didier Deshommes
+--RMichael Dewar          Jack Dongarra          Jean Della Dora
+--RGabriel Dos Reis       Claire DiCrescendo     Sam Dooley
+--RLionel Ducos           Iain Duff              Lee Duhem
+--RMartin Dunstan         Brian Dupee            Dominique Duval
+--RRobert Edwards         Heow Eide-Goodman      Lars Erickson
+--RRichard Fateman        Bertfried Fauser       Stuart Feldman
+--RJohn Fletcher          Brian Ford             Albrecht Fortenbacher
+--RGeorge Frances         Constantine Frangos    Timothy Freeman
+--RKorrinn Fu             Marc Gaetano           Rudiger Gebauer
+--RVan de Geijn           Kathy Gerber           Patricia Gianni
+--RGustavo Goertkin       Samantha Goldrich      Holger Gollan
+--RTeresa Gomez-Diaz      Laureano Gonzalez-Vega Stephen Gortler
+--RJohannes Grabmeier     Matt Grayson           Klaus Ebbe Grue
+--RJames Griesmer         Vladimir Grinberg      Oswald Gschnitzer
+--RMing Gu                Jocelyn Guidry         Gaetan Hache
+--RSteve Hague            Satoshi Hamaguchi      Sven Hammarling
+--RMike Hansen            Richard Hanson         Richard Harke
+--RBill Hart              Vilya Harvey           Martin Hassner
+--RArthur S. Hathaway     Dan Hatton             Waldek Hebisch
+--RKarl Hegbloom          Ralf Hemmecke          Henderson
+--RAntoine Hersen         Roger House            Gernot Hueber
+--RPietro Iglio           Alejandro Jakubi       Richard Jenks
+--RWilliam Kahan          Kyriakos Kalorkoti     Kai Kaminski
 --RGrant Keady            Wilfrid Kendall        Tony Kennedy
 --RTed Kosan              Paul Kosinski          Klaus Kusche
 --RBernhard Kutzler       Tim Lahey              Larry Lambe
@@ -4287,19 +4288,15 @@ credits()
 --RStephen Watt           Jaap Weel              Juergen Weiss
 --RM. Weller              Mark Wegman            James Wen
 --RThorsten Werther       Michael Wester         R. Clint Whaley
---RJohn M. Wiley          Berhard Will           Clifton J. Williamson
---RStephen Wilson         Shmuel Winograd        Robert Wisbauer
---RSandra Wityak          Waldemar Wiwianka      Knut Wolf
---RLiu Xiaojun            Clifford Yapp          David Yun
---RVadim Zhytnikov        Richard Zippel         Evelyn Zoernack
---RBruno Zuercher         Dan Zwillinger
+--RJames T. Wheeler       John M. Wiley          Berhard Will
+--RClifton J. Williamson  Stephen Wilson         Shmuel Winograd
+--RRobert Wisbauer        Sandra Wityak          Waldemar Wiwianka
+--RKnut Wolf              Liu Xiaojun            Clifford Yapp
+--RDavid Yun              Vadim Zhytnikov        Richard Zippel
+--REvelyn Zoernack        Bruno Zuercher         Dan Zwillinger
 --R                                                                   Type: Void
 --E 3
 
-\end{chunk}
-The summary command simply types out the contents of the file
-\$AXIOM/lib/summary so no output is captured in the spool file.
-\begin{chunk}{ApplicationProgramInterface.input}
 --S 4 of 9
 summary()
 --R 
@@ -4318,6 +4315,7 @@ summary()
 --R credits : () -> Void                  getDomains : Symbol -> Set(Symbol)
 --R summary : () -> Void                 
 --R getAncestors : Symbol -> Set(Symbol)
+--R reportInstantiations : Boolean -> Void
 --R
 --E 5
 
@@ -4369,6 +4367,15 @@ reportInstantiations(true)
 reportInstantiations(true)
 --R 
 --R                                                                   Type: Void
+--R# instantiated/# dropped/domain name
+--R------------------------------------
+--R Totals: 0 instantiated
+--R         0 inside coerceInteractive
+--R         0 inside canCoerceFrom
+--R         0 inside evalMmCond
+--R         0 reinstantiated
+--R         0 dropped
+--R         0 distinct domains instantiated/dropped
 --E 9
 
 )spool
@@ -42729,7 +42736,7 @@ GraphicsDefaults(): Exports == Implementation where
 )set message auto off
 )clear all
 
---S 1 of 6
+--S 1 of 5
 header:=standardDotHeader()
 --R 
 --R
@@ -42739,7 +42746,7 @@ header:=standardDotHeader()
 --R                                                           Type: List(String)
 --E 1
 
---S 2 of 6
+--S 2 of 5
 graph:=sampleDotGraph()
 --R 
 --R
@@ -42759,29 +42766,25 @@ graph:=sampleDotGraph()
 --R                                                           Type: List(String)
 --E 2
 
---S 3 of 6
+--S 3 of 5
 writeDotGraph(header,graph,"NeuralNet")
 --R 
 --R                                                                   Type: Void
 --E 3
 
---S 4 of 6
+--S 4 of 5
 dot2eps "NeuralNet"
 --R 
 --R                                                                   Type: Void
 --E 4
 
---S 5 of 6
--- dotview("evince","NeuralNet")
---S 5
-
---S 6 of 6
+--S 5 of 5
 )show Graphviz
 --R 
 --R Graphviz  is a package constructor
 --R Abbreviation for Graphviz is GRAPHVIZ 
 --R This constructor is exposed in this frame.
---R Issue )edit /research/silver/books/bookvol10.4.pamphlet to see algebra source code for GRAPHVIZ 
+--R Issue )edit bookvol10.4.pamphlet to see algebra source code for GRAPHVIZ 
 --R
 --R------------------------------- Operations --------------------------------
 --R dot2eps : String -> Void              dotview : (String,String) -> Void
@@ -42789,7 +42792,11 @@ dot2eps "NeuralNet"
 --R standardDotHeader : () -> List(String)
 --R writeDotGraph : (List(String),List(String),String) -> Void
 --R
---E 6
+--E 5
+
+-- 6 of 6
+-- dotview("evince","NeuralNet")
+-- 6
 
 )spool
 )lisp (bye)
@@ -148664,7 +148671,7 @@ t1:=radicalSolve(x^3 + x^2 - 7 = 0,x)
 --E 15
 
 --S 16 of 21
-(2) -> t2:=rhs(t1.1)
+t2:=rhs(t1.1)
 --R
 --R   (2)
 --R                        +------------------+2
@@ -148691,7 +148698,7 @@ t1:=radicalSolve(x^3 + x^2 - 7 = 0,x)
 --E 16
 
 --S 17 of 21
-(3) -> t3:=rhs(t1.2)
+t3:=rhs(t1.2)
 --R
 --R   (3)
 --R                        +------------------+2
@@ -148718,7 +148725,7 @@ t1:=radicalSolve(x^3 + x^2 - 7 = 0,x)
 --E 17
 
 --S 18 of 21
-(4) -> t4:=rhs(t1.3)
+t4:=rhs(t1.3)
 --R
 --R           +------------------+2     +------------------+
 --R           |  +----+       +-+       |  +----+       +-+
@@ -148737,21 +148744,21 @@ t1:=radicalSolve(x^3 + x^2 - 7 = 0,x)
 --E 18
 
 --S 19 of 21
-(5) -> t2^3+t2^2-7
+t2^3+t2^2-7
 --R
 --R   (5)  0
 --R                                                    Type: Expression(Integer)
 --E 19
 
 --S 20 of 21
-(6) -> t3^3+t3^2-7
+t3^3+t3^2-7
 --R
 --R   (6)  0
 --R                                                    Type: Expression(Integer)
 --E 20
 
 --S 21 of 21
-(7) -> t4^3+t4^2-7
+t4^3+t4^2-7
 --R
 --R   (7)  0
 --R                                                    Type: Expression(Integer)
diff --git a/changelog b/changelog
index b9f9089..216714b 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+20141124 tpd src/axiom-website/patches.html 20141124.04.tpd.patch
+20141124 tpd books/bookvol10.4 fix failing domain tests
+20141124 tpd books/bookvol10.3 fix failing domain tests
+20141124 tpd books/bookvol10.2 fix failing domain tests
 20141124 tpd src/axiom-website/patches.html 20141124.03.tpd.patch
 20141124 tpd books/bookvol10.3 fix failing domain tests
 20141124 tpd src/axiom-website/patches.html 20141124.02.tpd.patch
diff --git a/patch b/patch
index 1d3285e..9d7323e 100644
--- a/patch
+++ b/patch
@@ -1 +1 @@
-books/bookvol10.3 fix failing domain tests
+books/bookvol10.{2,3,4} fix failing domain tests
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 4bfad16..3aef07f 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4732,6 +4732,8 @@ buglist bug 7265: interpreter does early retract to Taylor series
 books/bookvol10.4 help docs for MatrixManipulation<br/>
 <a href="patches/20141124.03.tpd.patch">20141124.03.tpd.patch</a>
 books/bookvol10.3 fix failing domain tests<br/>
+<a href="patches/20141124.04.tpd.patch">20141124.04.tpd.patch</a>
+books/bookvol10.{2,3,4} fix failing domain tests<br/>
  </body>
 </html>