Here is the patch for renaming PolynomialIdeals to PolynomialIdeal. Should I commit?
Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
>From 254c36dcbb7bb20060fcbd4506e76a0974d5b3a6 Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Thu, 8 Jul 2010 22:47:41 +0200 Subject: Rename PolynomialIdeals to PolynomialIdeal --- src/algebra/exposed.lsp.pamphlet | 2 +- src/algebra/ideal.spad.pamphlet | 12 ++++++------ src/algebra/idecomp.spad.pamphlet | 8 ++++---- src/algebra/qalgset.spad.pamphlet | 4 ++-- src/hyper/pages/ug08.ht | 4 ++-- src/share/algebra/command.list | 2 +- src/share/algebra/topics.data | 2 +- 7 files changed, 17 insertions(+), 17 deletions(-) diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 35c9d5e..210aebe 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -291,7 +291,7 @@ (|PolynomialComposition| . PCOMP) (|PolynomialDecomposition| . PDECOMP) (|PolynomialFunctions2| . POLY2) - (|PolynomialIdeals| . IDEAL) + (|PolynomialIdeal| . IDEAL) (|PolynomialToUnivariatePolynomial| . POLY2UP) (|PositiveInteger| . PI) (|PowerSeriesLimitPackage| . LIMITPS) diff --git a/src/algebra/ideal.spad.pamphlet b/src/algebra/ideal.spad.pamphlet index 931a83c..41b3668 100644 --- a/src/algebra/ideal.spad.pamphlet +++ b/src/algebra/ideal.spad.pamphlet @@ -9,9 +9,9 @@ \eject \tableofcontents \eject -\section{domain IDEAL PolynomialIdeals} -<<domain IDEAL PolynomialIdeals>>= -)abbrev domain IDEAL PolynomialIdeals +\section{domain IDEAL PolynomialIdeal} +<<domain IDEAL PolynomialIdeal>>= +)abbrev domain IDEAL PolynomialIdeal ++ Author: P. Gianni ++ Date Created: summer 1986 ++ Date Last Updated: September 1996 @@ -31,7 +31,7 @@ ++ ordering is determined by the datatype of the input polynomials. ++ Users may use refinements of total degree orderings. -PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T +PolynomialIdeal(F,Expon,VarSet,DPoly) : C == T where F : Field Expon : OrderedAbelianMonoidSup @@ -95,7 +95,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T ++ the transformed ideal along with the change of basis matrix. backOldPos : GenMPos -> Ideal ++ backOldPos(genPos) takes the result - ++ produced by \spadfunFrom{generalPosition}{PolynomialIdeals} + ++ produced by \spadfunFrom{generalPosition}{PolynomialIdeal} ++ and performs the inverse transformation, returning the original ideal ++ \spad{backOldPos(generalPosition(I,listvar))} = I. dimension : (Ideal,List VarSet) -> Z @@ -466,7 +466,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T <<*>>= <<license>> -<<domain IDEAL PolynomialIdeals>> +<<domain IDEAL PolynomialIdeal>> @ \eject \begin{thebibliography}{99} diff --git a/src/algebra/idecomp.spad.pamphlet b/src/algebra/idecomp.spad.pamphlet index e61b090..7ebf02a 100644 --- a/src/algebra/idecomp.spad.pamphlet +++ b/src/algebra/idecomp.spad.pamphlet @@ -16,7 +16,7 @@ ++ Date Created: summer 1986 ++ Date Last Updated: ++ Basic Functions: -++ Related Constructors: PolynomialIdeals +++ Related Constructors: PolynomialIdeal ++ Also See: ++ AMS Classifications: ++ Keywords: @@ -24,7 +24,7 @@ ++ Description: ++ This package provides functions for the primary decomposition of ++ polynomial ideals over the rational numbers. The ideals are members -++ of the \spadtype{PolynomialIdeals} domain, and the polynomial generators are +++ of the \spadtype{PolynomialIdeal} domain, and the polynomial generators are ++ required to be from the \spadtype{DistributedMultivariatePolynomial} domain. IdealDecompositionPackage(vl,nv) : C == T -- take away nv, now doesn't @@ -46,8 +46,8 @@ IdealDecompositionPackage(vl,nv) : C == T -- take away nv, now doesn't DPoly ==> DistributedMultivariatePolynomial(vl,F) NNI ==> NonNegativeInteger - Ideal == PolynomialIdeals(Q,Expon,OV,DPoly1) - FIdeal == PolynomialIdeals(F,Expon,OV,DPoly) + Ideal == PolynomialIdeal(Q,Expon,OV,DPoly1) + FIdeal == PolynomialIdeal(F,Expon,OV,DPoly) Fun0 == Union("zeroPrimDecomp","zeroRadComp") GenPos == Record(changeval:List Z,genideal:FIdeal) diff --git a/src/algebra/qalgset.spad.pamphlet b/src/algebra/qalgset.spad.pamphlet index 63f5385..b14ffaa 100644 --- a/src/algebra/qalgset.spad.pamphlet +++ b/src/algebra/qalgset.spad.pamphlet @@ -204,7 +204,7 @@ QuasiAlgebraicSet(R, Var,Expon,Dpoly) : C == T ++ Date Last Updated: June 12, 1992 ++ Basic Operations: ++ Related Constructors:GroebnerPackage, IdealDecompositionPackage, -++ PolynomialIdeals +++ PolynomialIdeal ++ See Also: QuasiAlgebraicSet ++ AMS Classifications: ++ Keywords: Zariski closed sets, quasi-algebraic sets @@ -268,7 +268,7 @@ QuasiAlgebraicSet2(vl,nv) : C == T where f : Var -> newPoly g : newVar -> Dpoly - import PolynomialIdeals(F,newExpon,newVar,newPoly) + import PolynomialIdeal(F,newExpon,newVar,newPoly) import GroebnerPackage(F,Expon,Var,Dpoly) import GroebnerPackage(F,newExpon,newVar,newPoly) import IdealDecompositionPackage(newvl,#newvl) diff --git a/src/hyper/pages/ug08.ht b/src/hyper/pages/ug08.ht index 384142f..162a0e5 100644 --- a/src/hyper/pages/ug08.ht +++ b/src/hyper/pages/ug08.ht @@ -4323,7 +4323,7 @@ projection on the last coordinate to reduce the general case to the 0-dimensional one. \enditems \indent{0} -The \Language{} constructor \axiomType{PolynomialIdeals} +The \Language{} constructor \axiomType{PolynomialIdeal} represents ideals with coefficients in any field and supports the basic ideal operations, including intersection, sum and quotient. @@ -4975,7 +4975,7 @@ Solve these equations and look at the first solution. \spadpaste{gbs:= groebnerFactorize cI; gbs.1\free{cI}\bound{gbs}} } -Further analysis using the package \spadtype{PolynomialIdeals} +Further analysis using the package \spadtype{PolynomialIdeal} shows that there is a two-dimensional variety of equilibrium states and all other solutions are contained in it. diff --git a/src/share/algebra/command.list b/src/share/algebra/command.list index 940b6b8..0871065 100644 --- a/src/share/algebra/command.list +++ b/src/share/algebra/command.list @@ -3557,7 +3557,7 @@ Plot3D PoincareBirkhoffWittLyndonBasis Point Polynomial -PolynomialIdeals +PolynomialIdeal PolynomialRing PositiveInteger PrimeField diff --git a/src/share/algebra/topics.data b/src/share/algebra/topics.data index 4842543..24830c3 100644 --- a/src/share/algebra/topics.data +++ b/src/share/algebra/topics.data @@ -2390,7 +2390,7 @@ Polynomial: PolynomialCategory integrate -PolynomialIdeals: +PolynomialIdeal: SetCategory * ** -- 1.7.0.4
