login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

From GroebnerPackage and PolynomialIdeals

fricas
)display operation groebner
There are 4 exposed functions called groebner : [1] List(D5) -> List(D5) from GroebnerPackage(D2,D3,D4,D5) if D5 has POLYCAT(D2,D3,D4) and D2 has GCDDOM and D3 has OAMONS and D4 has ORDSET [2] (List(D6),String) -> List(D6) from GroebnerPackage(D3,D4,D5,D6) if D6 has POLYCAT(D3,D4,D5) and D3 has GCDDOM and D4 has OAMONS and D5 has ORDSET [3] (List(D6),String,String) -> List(D6) from GroebnerPackage(D3,D4, D5,D6) if D6 has POLYCAT(D3,D4,D5) and D3 has GCDDOM and D4 has OAMONS and D5 has ORDSET [4] PolynomialIdeal(D1,D2,D3,D4) -> PolynomialIdeal(D1,D2,D3,D4) from PolynomialIdeal(D1,D2,D3,D4) if D1 has FIELD and D2 has OAMONS and D3 has ORDSET and D4 has POLYCAT(D1,D2,D3)
There are 6 unexposed functions called groebner : [1] List(DistributedJetBundlePolynomial(D2,D3,D4,D5)) -> List( DistributedJetBundlePolynomial(D2,D3,D4,D5)) from DistributedJetBundlePolynomial(D2,D3,D4,D5) if D4: LIST(D3) and D2 has GCDDOM and D2 has RING and D3 has JBC and D5 has DIRPCAT(#(D4),NNI) [2] List(Polynomial(D2)) -> List(Polynomial(D2)) from FGLMIfCanPackage(D2,D3) if D2 has GCDDOM and D3: LIST(SYMBOL) [3] List(JetBundlePolynomial(D2,D3)) -> List(JetBundlePolynomial(D2, D3)) from JetBundlePolynomial(D2,D3) if D2 has GCDDOM and D2 has RING and D3 has JBC [4] List(D5) -> List(D5) from JetGroebner(D2,D3,D4,D5,D6) if D5 has Join(JBFC(D3),POLYCAT(D2,INDE(D3),D3)) and D2 has GCDDOM and D3 has JBC and D4: LIST(D3) and D6 has DIRPCAT(# (D4),NNI) [5] List(NewSparseMultivariatePolynomial(D2,OrderedVariableList(D3)) ) -> List(NewSparseMultivariatePolynomial(D2,OrderedVariableList( D3))) from LexTriangularPackage(D2,D3) if D2 has GCDDOM and D3: LIST(SYMBOL) [6] List(D5) -> List(D5) from NGroebnerPackage(D2,D3,D4,D5) if D5 has SSKPOLC(D2,D3,D4) and D2 has LORER and D3 has OAMONS and D4 has ORDSET




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: