1 files changed, 81 insertions, 80 deletions
diff --git a/src/share/algebra/compress.daase b/src/share/algebra/compress.daase
index 24dff09a..85eec457 100644
--- a/src/share/algebra/compress.daase
+++ b/src/share/algebra/compress.daase
@@ -1,6 +1,6 @@
 
-(30 . 3537001163)            
-(3974 |Enumeration| |Mapping| |Record| |Union| |ofCategory| |isDomain|
+(30 . 3537569209)            
+(3980 |Enumeration| |Mapping| |Record| |Union| |ofCategory| |isDomain|
  ATTRIBUTE |package| |domain| |category| CATEGORY |nobranch| AND |Join|
  |ofType| SIGNATURE "failed" "algebra" |OneDimensionalArrayAggregate&|
  |OneDimensionalArrayAggregate| |AbelianGroup&| |AbelianGroup| |AbelianMonoid&|
@@ -98,8 +98,8 @@
  |FiniteFieldPolynomialPackage| |FiniteFieldPolynomialPackage2|
  |FiniteFieldSolveLinearPolynomialEquation| |FiniteFieldExtension|
  |FGLMIfCanPackage| |FreeGroup| |Field&| |Field| |File| |FileCategory|
- |FiniteRankNonAssociativeAlgebra&| |FiniteRankNonAssociativeAlgebra| |Finite|
- |FiniteRankAlgebra&| |FiniteRankAlgebra| |FiniteLinearAggregate&|
+ |FiniteRankNonAssociativeAlgebra&| |FiniteRankNonAssociativeAlgebra| |Finite&|
+ |Finite| |FiniteRankAlgebra&| |FiniteRankAlgebra| |FiniteLinearAggregate&|
  |FiniteLinearAggregate| |FiniteLinearAggregateFunctions2| |FreeLieAlgebra|
  |FiniteLinearAggregateSort| |FullyLinearlyExplicitRingOver&|
  |FullyLinearlyExplicitRingOver| |Float| |FloatingComplexPackage|
@@ -317,20 +317,21 @@
  |RecursivePolynomialCategory&| |RecursivePolynomialCategory| |RepeatAst|
  |RealRootCharacterizationCategory&| |RealRootCharacterizationCategory|
  |RegularSetDecompositionPackage| |RegularTriangularSetCategory&|
- |RegularTriangularSetCategory| |RegularTriangularSetGcdPackage| |RuntimeValue|
- |RewriteRule| |RuleCalled| |Ruleset| |RationalUnivariateRepresentationPackage|
- |SimpleAlgebraicExtension| |SimpleAlgebraicExtensionAlgFactor|
- |SAERationalFunctionAlgFactor| |SingletonAsOrderedSet| |SpadSyntaxCategory|
- |SortedCache| |Scope| |StructuralConstantsPackage|
- |SequentialDifferentialPolynomial| |SequentialDifferentialVariable| |Segment|
- |SegmentFunctions2| |SegmentAst| |SegmentBinding| |SegmentBindingFunctions2|
- |SegmentCategory| |SegmentExpansionCategory| |Set| |SetAggregate&|
- |SetAggregate| |SetCategory&| |SetCategory| |SetOfMIntegersInOneToN|
- |SExpression| |SExpressionCategory| |SExpressionOf|
- |SquareFreeQuasiComponentPackage| |SquareFreeRegularTriangularSetGcdPackage|
+ |RegularTriangularSetCategory| |RegularTriangularSetGcdPackage| |RestrictAst|
+ |RuntimeValue| |RewriteRule| |RuleCalled| |Ruleset|
+ |RationalUnivariateRepresentationPackage| |SimpleAlgebraicExtension|
+ |SimpleAlgebraicExtensionAlgFactor| |SAERationalFunctionAlgFactor|
+ |SingletonAsOrderedSet| |SpadSyntaxCategory| |SortedCache| |Scope|
+ |StructuralConstantsPackage| |SequentialDifferentialPolynomial|
+ |SequentialDifferentialVariable| |Segment| |SegmentFunctions2| |SegmentAst|
+ |SegmentBinding| |SegmentBindingFunctions2| |SegmentCategory|
+ |SegmentExpansionCategory| |SequenceAst| |Set| |SetAggregate&| |SetAggregate|
+ |SetCategory&| |SetCategory| |SetOfMIntegersInOneToN| |SExpression|
+ |SExpressionCategory| |SExpressionOf| |SquareFreeQuasiComponentPackage|
+ |SquareFreeRegularTriangularSetGcdPackage|
  |SquareFreeRegularTriangularSetCategory| |SymmetricGroupCombinatoricFunctions|
  |SemiGroup&| |SemiGroup| |SplitHomogeneousDirectProduct| |SturmHabichtPackage|
- |Signature| |ElementaryFunctionSign| |RationalFunctionSign|
+ |Signature| |SignatureAst| |ElementaryFunctionSign| |RationalFunctionSign|
  |SimplifyAlgebraicNumberConvertPackage| |SingleInteger| |StackAggregate|
  |SquareMatrixCategory&| |SquareMatrixCategory| |SmithNormalForm|
  |SparseMultivariatePolynomial| |SparseMultivariateTaylorSeries|
@@ -345,24 +346,24 @@
  |StreamInfiniteProduct| |Stream| |StreamFunctions1| |StreamFunctions2|
  |StreamFunctions3| |String| |StringTable| |StreamTaylorSeriesOperations|
  |StreamTranscendentalFunctions| |StreamTranscendentalFunctionsNonCommutative|
- |SubResultantPackage| |SubSpace| |SuchThat| |SparseUnivariateLaurentSeries|
- |FunctionSpaceSum| |RationalFunctionSum| |SparseUnivariatePolynomial|
- |SparseUnivariatePolynomialFunctions2| |SupFractionFactorizer|
- |SparseUnivariatePuiseuxSeries| |SparseUnivariateTaylorSeries| |Symbol|
- |SymmetricFunctions| |SymmetricPolynomial| |TheSymbolTable| |SymbolTable|
- |Syntax| |SystemInteger| |SystemNonNegativeInteger| |SystemPointer|
- |SystemSolvePackage| |System| |TableauxBumpers| |Table| |Tableau|
- |TermAlgebraOperator| |TangentExpansions| |TableAggregate&| |TableAggregate|
- |TabulatedComputationPackage| |TexFormat| |TexFormat1| |TextFile|
- |ToolsForSign| |TopLevelThreeSpace| |TranscendentalFunctionCategory&|
- |TranscendentalFunctionCategory| |Tree| |TrigonometricFunctionCategory&|
- |TrigonometricFunctionCategory| |TrigonometricManipulations|
- |TriangularMatrixOperations| |TranscendentalManipulations| |TaylorSeries|
- |TriangularSetCategory&| |TriangularSetCategory| |TubePlot| |TubePlotTools|
- |Tuple| |TwoFactorize| |Type| |TypeAst| |UserDefinedPartialOrdering|
- |UserDefinedVariableOrdering| |UniqueFactorizationDomain&|
- |UniqueFactorizationDomain| |UInt16| |UInt32| |UInt64| |UInt8|
- |UnivariateLaurentSeries| |UnivariateLaurentSeriesFunctions2|
+ |SubResultantPackage| |SubSpace| |SuchThat| |SuchThatAst|
+ |SparseUnivariateLaurentSeries| |FunctionSpaceSum| |RationalFunctionSum|
+ |SparseUnivariatePolynomial| |SparseUnivariatePolynomialFunctions2|
+ |SupFractionFactorizer| |SparseUnivariatePuiseuxSeries|
+ |SparseUnivariateTaylorSeries| |Symbol| |SymmetricFunctions|
+ |SymmetricPolynomial| |TheSymbolTable| |SymbolTable| |Syntax| |SystemInteger|
+ |SystemNonNegativeInteger| |SystemPointer| |SystemSolvePackage| |System|
+ |TableauxBumpers| |Table| |Tableau| |TermAlgebraOperator| |TangentExpansions|
+ |TableAggregate&| |TableAggregate| |TabulatedComputationPackage| |TexFormat|
+ |TexFormat1| |TextFile| |ToolsForSign| |TopLevelThreeSpace|
+ |TranscendentalFunctionCategory&| |TranscendentalFunctionCategory| |Tree|
+ |TrigonometricFunctionCategory&| |TrigonometricFunctionCategory|
+ |TrigonometricManipulations| |TriangularMatrixOperations|
+ |TranscendentalManipulations| |TaylorSeries| |TriangularSetCategory&|
+ |TriangularSetCategory| |TubePlot| |TubePlotTools| |Tuple| |TwoFactorize|
+ |Type| |TypeAst| |UserDefinedPartialOrdering| |UserDefinedVariableOrdering|
+ |UniqueFactorizationDomain&| |UniqueFactorizationDomain| |UInt16| |UInt32|
+ |UInt64| |UInt8| |UnivariateLaurentSeries| |UnivariateLaurentSeriesFunctions2|
  |UnivariateLaurentSeriesCategory|
  |UnivariateLaurentSeriesConstructorCategory&|
  |UnivariateLaurentSeriesConstructorCategory|
@@ -667,8 +668,8 @@
  |optpair| |getBadValues| |resetBadValues| |hasTopPredicate?| |topPredicate|
  |setTopPredicate| |patternVariable| |withPredicates| |setPredicates|
  |predicates| |hasPredicate?| |optional?| |multiple?| |generic?| |quoted?|
- |inR?| |isList| |isQuotient| |isOp| |Zero| |predicate| |satisfy?|
- |addBadValue| |badValues| |retractable?| |ListOfTerms| |One| |leftFactor|
+ |inR?| |isList| |isQuotient| |isOp| |Zero| |satisfy?| |addBadValue|
+ |badValues| |retractable?| |ListOfTerms| |One| |leftFactor|
  |rightFactorCandidate| D |ptree| |coerceImages| |fixedPoints| |odd?| |even?|
  |numberOfCycles| |cyclePartition| |coerceListOfPairs| |coercePreimagesImages|
  |listRepresentation| |permanent| |cycles| |cycle|
@@ -758,13 +759,13 @@
  |symmetricTensors| |tensorProduct| |permutationRepresentation|
  |completeEchelonBasis| |createRandomElement| |cyclicSubmodule|
  |standardBasisOfCyclicSubmodule| |areEquivalent?| |isAbsolutelyIrreducible?|
- |meatAxe| |scanOneDimSubspaces| |double| |expt| |lift| |expression|
- |solveRetract| |variables| |mainVariable| |univariate| |multivariate|
- |uniform01| |normal01| |exponential1| |chiSquare1| |normal| |exponential|
- |chiSquare| F |t| |factorFraction| |componentUpperBound| |blue| |green| |red|
- |whitePoint| |uniform| |binomial| |poisson| |geometric| |ridHack1|
- |interpolate| |nullSpace| |nullity| |rank| |rowEchelon| |column| |row| |qelt|
- |ncols| |nrows| |maxColIndex| |minColIndex| |maxRowIndex| |minRowIndex|
+ |meatAxe| |scanOneDimSubspaces| |double| |expt| |lift| |solveRetract|
+ |variables| |mainVariable| |univariate| |multivariate| |uniform01| |normal01|
+ |exponential1| |chiSquare1| |normal| |exponential| |chiSquare| F |t|
+ |factorFraction| |componentUpperBound| |blue| |green| |red| |whitePoint|
+ |uniform| |binomial| |poisson| |geometric| |ridHack1| |interpolate|
+ |nullSpace| |nullity| |rank| |rowEchelon| |column| |row| |qelt| |ncols|
+ |nrows| |maxColIndex| |minColIndex| |maxRowIndex| |minRowIndex|
  |antisymmetric?| |symmetric?| |diagonal?| |square?| |matrix|
  |rectangularMatrix| |characteristic| |round| |fractionPart| |wholePart|
  |floor| |ceiling| |norm| |mightHaveRoots| |refine| |middle| |size| |right|
@@ -777,18 +778,18 @@
  |lazyPremWithDefault| |lazyPquo| |lazyPrem| |pquo| |prem| |supRittWu?|
  |RittWuCompare| |mainMonomials| |mainCoefficients| |leastMonomial|
  |mainMonomial| |quasiMonic?| |monic?| |leadingCoefficient| |deepestInitial|
- |iteratedInitials| |deepestTail| |head| |mdeg| |mvar| |body| |iterators|
+ |iteratedInitials| |deepestTail| |head| |mdeg| |mvar| |iterators|
  |relativeApprox| |rootOf| |allRootsOf| |definingPolynomial| |positive?|
  |negative?| |zero?| |augment| |lastSubResultant| |lastSubResultantElseSplit|
  |invertibleSet| |invertible?| |invertibleElseSplit?|
  |purelyAlgebraicLeadingMonomial?| |algebraicCoefficients?|
  |purelyTranscendental?| |purelyAlgebraic?| |prepareSubResAlgo|
  |internalLastSubResultant| |integralLastSubResultant| |toseLastSubResultant|
- |toseInvertible?| |toseInvertibleSet| |toseSquareFreePart| |quotedOperators|
- |pattern| |suchThat| |rule| |rules| |ruleset| |rur| |create| |clearCache|
- |cache| |enterInCache| |currentCategoryFrame| |currentScope| |pushNewContour|
- |findBinding| |contours| |structuralConstants| |coordinates| |bounds|
- |equation| |incr| |high| |low| |hi| |lo| BY |union| |subset?|
+ |toseInvertible?| |toseInvertibleSet| |toseSquareFreePart| |expression|
+ |quotedOperators| |pattern| |suchThat| |rule| |rules| |ruleset| |rur| |create|
+ |clearCache| |cache| |enterInCache| |currentCategoryFrame| |currentScope|
+ |pushNewContour| |findBinding| |contours| |structuralConstants| |coordinates|
+ |bounds| |equation| |incr| |high| |low| |hi| |lo| BY |body| |union| |subset?|
  |symmetricDifference| |difference| |intersect| |set| |brace| |part?| |latex|
  |hash| |delta| |member?| |enumerate| |setOfMinN| |elements|
  |replaceKthElement| |incrementKthElement| |cdr| |car| |expr| |float| |integer|
@@ -809,20 +810,20 @@
  |unrankImproperPartitions1| |subresultantSequence| |SturmHabichtSequence|
  |SturmHabichtCoefficients| |SturmHabicht| |countRealRoots|
  |SturmHabichtMultiple| |countRealRootsMultiple| |source| |target| |signature|
- |xor| |depth| |top| |pop!| |push!| |minordet| |determinant| |diagonalProduct|
- |trace| |diagonal| |diagonalMatrix| |scalarMatrix| |hermite| |completeHermite|
- |smith| |completeSmith| |diophantineSystem| |csubst| |particularSolution|
- |mapSolve| |linear| |quadratic| |cubic| |quartic| |aLinear| |aQuadratic|
- |aCubic| |aQuartic| |radicalSolve| |radicalRoots| |contractSolve|
- |decomposeFunc| |unvectorise| |bubbleSort!| |insertionSort!| |check| |objects|
- |lprop| |llprop| |lllp| |lllip| |lp| |mesh?| |mesh| |polygon?| |polygon|
- |closedCurve?| |closedCurve| |curve?| |curve| |point?| |enterPointData|
- |composites| |components| |numberOfComposites| |numberOfComponents|
- |create3Space| |parse| |outputAsFortran| |outputAsScript| |outputAsTex| |abs|
- |Beta| |digamma| |polygamma| |Gamma| |besselJ| |besselY| |besselI| |besselK|
- |airyAi| |airyBi| |subNode?| |infLex?| |setEmpty!| |setStatus!|
- |setCondition!| |setValue!| |copy| |status| |value| |empty?| |splitNodeOf!|
- |remove!| |remove| |subNodeOf?| |nodeOf?| |result| |conditions|
+ |signatureAst| |xor| |depth| |top| |pop!| |push!| |minordet| |determinant|
+ |diagonalProduct| |trace| |diagonal| |diagonalMatrix| |scalarMatrix| |hermite|
+ |completeHermite| |smith| |completeSmith| |diophantineSystem| |csubst|
+ |particularSolution| |mapSolve| |linear| |quadratic| |cubic| |quartic|
+ |aLinear| |aQuadratic| |aCubic| |aQuartic| |radicalSolve| |radicalRoots|
+ |contractSolve| |decomposeFunc| |unvectorise| |bubbleSort!| |insertionSort!|
+ |check| |objects| |lprop| |llprop| |lllp| |lllip| |lp| |mesh?| |mesh|
+ |polygon?| |polygon| |closedCurve?| |closedCurve| |curve?| |curve| |point?|
+ |enterPointData| |composites| |components| |numberOfComposites|
+ |numberOfComponents| |create3Space| |parse| |outputAsFortran| |outputAsScript|
+ |outputAsTex| |abs| |Beta| |digamma| |polygamma| |Gamma| |besselJ| |besselY|
+ |besselI| |besselK| |airyAi| |airyBi| |subNode?| |infLex?| |setEmpty!|
+ |setStatus!| |setCondition!| |setValue!| |copy| |status| |value| |empty?|
+ |splitNodeOf!| |remove!| |remove| |subNodeOf?| |nodeOf?| |result| |conditions|
  |updateStatus!| |extractSplittingLeaf| |squareMatrix| |transpose| |rightTrim|
  |leftTrim| |trim| |split| |position| |replace| |match?| |match| |substring?|
  |suffix?| |prefix?| |upperCase!| |upperCase| |lowerCase!| |lowerCase|
@@ -842,23 +843,23 @@
  |extractProperty| |extractClosed| |extractIndex| |extractPoint| |traverse|
  |defineProperty| |closeComponent| |modifyPoint| |addPointLast| |addPoint2|
  |addPoint| |merge| |deepCopy| |shallowCopy| |numberOfChildren| |children|
- |child| |birth| |internal?| |root?| |leaf?| |rhs| |lhs| |construct| |sum|
- |outputForm| |list| |string| |argscript| |superscript| |subscript| |script|
- |scripts| |scripted?| |name| |resetNew| |symFunc| |symbolTableOf|
- |argumentListOf| |returnTypeOf| |printHeader| |returnType!| |argumentList!|
- |endSubProgram| |currentSubProgram| |newSubProgram| |clearTheSymbolTable|
- |showTheSymbolTable| |symbolTable| |printTypes| |newTypeLists| |typeLists|
- |externalList| |typeList| |parametersOf| |fortranTypeOf| |declare!| |empty|
- |case| |compound?| |getOperands| |getOperator| |nil?| |buildSyntax|
- |autoCoerce| |solve| |triangularSystems| |loadNativeModule|
- |nativeModuleExtension| |hostByteOrder| |hostPlatform| |rootDirectory|
- |bumprow| |bumptab| |bumptab1| |untab| |bat1| |bat| |tab1| |tab| |lex| |slex|
- |inverse| |maxrow| |mr| |tableau| |listOfLists| |operator| |tanSum| |tanAn|
- |tanNa| |table| |initTable!| |printInfo!| |startStats!| |printStats!|
- |clearTable!| |usingTable?| |printingInfo?| |makingStats?| |extractIfCan|
- |insert!| |setPrologue!| |setTex!| |setEpilogue!| |prologue| |new| |tex|
- |epilogue| |display| |endOfFile?| |readIfCan!| |readLineIfCan!| |readLine!|
- |writeLine!| |sign| |nonQsign| |direction| |createThreeSpace| |pi|
+ |child| |birth| |internal?| |root?| |leaf?| |rhs| |lhs| |construct|
+ |predicate| |sum| |outputForm| |list| |string| |argscript| |superscript|
+ |subscript| |script| |scripts| |scripted?| |name| |resetNew| |symFunc|
+ |symbolTableOf| |argumentListOf| |returnTypeOf| |printHeader| |returnType!|
+ |argumentList!| |endSubProgram| |currentSubProgram| |newSubProgram|
+ |clearTheSymbolTable| |showTheSymbolTable| |symbolTable| |printTypes|
+ |newTypeLists| |typeLists| |externalList| |typeList| |parametersOf|
+ |fortranTypeOf| |declare!| |empty| |case| |compound?| |getOperands|
+ |getOperator| |nil?| |buildSyntax| |autoCoerce| |solve| |triangularSystems|
+ |loadNativeModule| |nativeModuleExtension| |hostByteOrder| |hostPlatform|
+ |rootDirectory| |bumprow| |bumptab| |bumptab1| |untab| |bat1| |bat| |tab1|
+ |tab| |lex| |slex| |inverse| |maxrow| |mr| |tableau| |listOfLists| |operator|
+ |tanSum| |tanAn| |tanNa| |table| |initTable!| |printInfo!| |startStats!|
+ |printStats!| |clearTable!| |usingTable?| |printingInfo?| |makingStats?|
+ |extractIfCan| |insert!| |setPrologue!| |setTex!| |setEpilogue!| |prologue|
+ |new| |tex| |epilogue| |display| |endOfFile?| |readIfCan!| |readLineIfCan!|
+ |readLine!| |writeLine!| |sign| |nonQsign| |direction| |createThreeSpace| |pi|
  |cyclicParents| |cyclicEqual?| |cyclicEntries| |cyclicCopy| |tree| |cyclic?|
  |cos| |cot| |csc| |sec| |sin| |tan| |complexNormalize| |complexElementary|
  |trigs| |real| |imag| |real?| |complexForm| |UpTriBddDenomInv|