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
20141124.03.tpd.patch books/bookvol10.3 fix failing domain tests
+20141124.04.tpd.patch +books/bookvol10.{2,3,4} fix failing domain tests