/dports/math/gap/gap-4.11.0/pkg/sonata-2.9.1/lib/ |
H A D | xgap.gi | 23 local ideal; 24 ideal := data.ideal; 26 IsNearRingIdeal( ideal ) then 27 return "circle"; # two-sided ideal 29 IsNearRingLeftIdeal( ideal ) then 30 return "diamond"; # left ideal 43 return Size( data.ideal ); 173 C := NearRingCommutator(I!.data.ideal,J!.data.ideal); 236 "twosided ideal : ", 250 vert!.data.ideal ); [all …]
|
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/ |
H A D | gfan.h | 39 lists grfan(ideal inputIdeal, int heuristic, bool singleCone); 42 gfan::ZFan *grfan(ideal inputIdeal, int h, bool singleCone); 112 inline void setFlipGB(ideal I); 114 inline ideal getFlipGB(); 145 ideal inputIdeal; //the original 211 gcone(ring r, ideal I); 245 void flip(ideal gb, facet *f); 246 void flip2(const ideal &gb, facet *f); 247 void computeInv(const ideal &gb, ideal &inv, const int64vec &f); 249 inline ideal ffG(const ideal &H, const ideal &G); [all …]
|
H A D | witness.cc | 9 matrix divisionDiscardingRemainder(const poly f, const ideal G, const ring r) in divisionDiscardingRemainder() 13 ideal F = idInit(1); F->m[0]=f; in divisionDiscardingRemainder() 14 ideal m = idLift(G,F); in divisionDiscardingRemainder() 21 matrix divisionDiscardingRemainder(const ideal F, const ideal G, const ring r) in divisionDiscardingRemainder() 25 ideal R; matrix U; in divisionDiscardingRemainder() 26 ideal m = idLift(G,F,&R,FALSE,FALSE,TRUE,&U); in divisionDiscardingRemainder() 34 poly witness(const poly m, const ideal I, const ideal inI, const ring r) in witness() 52 ideal witness(const ideal inI, const ideal J, const ring r) in witness() 57 ideal NFinI = kNF(J,r->qideal,inI); in witness() 62 ideal I = idInit(k); in witness()
|
/dports/deskutils/calibre/calibre-src-5.34.0/recipes/ |
H A D | ideal_jaen.recipe | 11 www.ideal.es 31 masthead_url = 'http://www.ideal.es/img/rd.logotipo2_ideal.gif' 51 (u'Portada', u'http://www.ideal.es/jaen/portada.xml'), 52 (u'Local', u'http://www.ideal.es/jaen/rss/feeds/granada.xml'), 53 (u'Deportes', u'http://www.ideal.es/jaen/rss/feeds/deportes.xml'), 54 (u'Sociedad', u'http://www.ideal.es/jaen/rss/feeds/sociedad.xml'), 55 (u'Cultura', u'http://www.ideal.es/jaen/rss/feeds/cultura.xml'), 57 (u'Costa', u'http://www.ideal.es/jaen/rss/feeds/costa.xml'), 59 (u'España', u'http://www.ideal.es/jaen/rss/feeds/espana.xml'), 61 (u'Vivir', u'http://www.ideal.es/jaen/rss/feeds/vivir.xml'), [all …]
|
H A D | ideal_almeria.recipe | 11 www.ideal.es 31 masthead_url = u'http://www.ideal.es/img/rd.logotipo2_ideal.gif' 51 (u'Portada', u'http://www.ideal.es/almeria/portada.xml'), 52 (u'Local', u'http://www.ideal.es/almeria/rss/feeds/granada.xml'), 53 (u'Deportes', u'http://www.ideal.es/almeria/rss/feeds/deportes.xml'), 54 (u'Sociedad', u'http://www.ideal.es/almeria/rss/feeds/sociedad.xml'), 55 (u'Cultura', u'http://www.ideal.es/almeria/rss/feeds/cultura.xml'), 57 (u'Costa', u'http://www.ideal.es/almeria/rss/feeds/costa.xml'), 60 (u'España', u'http://www.ideal.es/almeria/rss/feeds/espana.xml'), 62 (u'Vivir', u'http://www.ideal.es/almeria/rss/feeds/vivir.xml'), [all …]
|
/dports/math/cocoalib/CoCoALib-0.99712/src/tests/ |
H A D | test-GOperations1.C | 95 ideal I = ideal((a-1)*x+(power(a,2)+a)*y, (a+1)*x + y); in test3() 213 ideal I = ideal((a-1) * x * (x-y)); in test11() 214 ideal J = ideal((a+1) * y * (x-y)); in test11() 216 ideal X = intersect(I, J); in test11() 218 CoCoA_ASSERT_ALWAYS("cocoa5-11" && X == ideal(x*y*(x-y))); in test11() 253 ideal I(power(x,2)*y+x*y+1, x*y2+y2+1); in test28() 254 ideal J(homog(I, h)); in test28() 270 ideal II = ideal(RingElem(P, "x-y")); in test30() 271 ideal I = ideal(RingElem(P, "x * (a+b-1)")) * II; in test30() 272 ideal J = ideal(RingElem(P, "y * (a-b^2+1)")) * II; in test30() [all …]
|
H A D | test-MonomialIdeal1.C | 59 ideal I = ideal(x*y, y*z); in TestSparsePolyRing() 60 ideal J = ideal(x*x, x*y*y); in TestSparsePolyRing() 66 CoCoA_ASSERT_ALWAYS(J == ideal(x*y*y, x*x*y)); in TestSparsePolyRing() 104 ideal J1(g); in program() 105 ideal J2(x[1]*x[2], x[2]*x[3]); in program() 122 ideal I = intersect(J1, J2); in program() 133 vector<ideal> PrimDec = PrimaryDecomposition(J2); in program() 136 CoCoA_ASSERT_ALWAYS(PrimDec[0] == ideal(x[2])); in program() 137 CoCoA_ASSERT_ALWAYS(PrimDec[1] == ideal(x[1], x[3])); in program() 153 ideal(power(x[1],3)*power(x[4],4), in program() [all …]
|
/dports/math/giacxcas/CoCoALib-0.99700/src/tests/ |
H A D | test-GOperations1.C | 95 ideal I = ideal((a-1)*x+(power(a,2)+a)*y, (a+1)*x + y); in test3() 213 ideal I = ideal((a-1) * x * (x-y)); in test11() 214 ideal J = ideal((a+1) * y * (x-y)); in test11() 216 ideal X = intersect(I, J); in test11() 218 CoCoA_ASSERT_ALWAYS("cocoa5-11" && X == ideal(x*y*(x-y))); in test11() 253 ideal I(power(x,2)*y+x*y+1, x*y2+y2+1); in test28() 254 ideal J(homog(I, h)); in test28() 270 ideal II = ideal(RingElem(P, "x-y")); in test30() 271 ideal I = ideal(RingElem(P, "x * (a+b-1)")) * II; in test30() 272 ideal J = ideal(RingElem(P, "y * (a-b^2+1)")) * II; in test30() [all …]
|
H A D | test-MonomialIdeal1.C | 59 ideal I = ideal(x*y, y*z); in TestSparsePolyRing() 60 ideal J = ideal(x*x, x*y*y); in TestSparsePolyRing() 66 CoCoA_ASSERT_ALWAYS(J == ideal(x*y*y, x*x*y)); in TestSparsePolyRing() 104 ideal J1(g); in program() 105 ideal J2(x[1]*x[2], x[2]*x[3]); in program() 122 ideal I = intersect(J1, J2); in program() 133 vector<ideal> PrimDec = PrimaryDecomposition(J2); in program() 136 CoCoA_ASSERT_ALWAYS(PrimDec[0] == ideal(x[2])); in program() 137 CoCoA_ASSERT_ALWAYS(PrimDec[1] == ideal(x[1], x[3])); in program() 153 ideal(power(x[1],3)*power(x[4],4), in program() [all …]
|
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/ |
H A D | prCopy.cc | 155 ideal idrHeadR(ideal id, ring r, ring dest_r) in idrHeadR() 191 ideal idrCopyR(ideal id, ring src_r, ring dest_r) in idrCopyR() 194 ideal res; in idrCopyR() 204 ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r) in idrCopyR_NoSort() 207 ideal res; in idrCopyR_NoSort() 219 ideal idrShallowCopyR(ideal id, ring src_r, ring dest_r) in idrShallowCopyR() 224 ideal idrShallowCopyR_NoSort(ideal id, ring src_r, ring dest_r) in idrShallowCopyR_NoSort() 247 ideal idrMoveR(ideal &id, ring src_r, ring dest_r) in idrMoveR() 251 ideal res; in idrMoveR() 260 ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r) in idrMoveR_NoSort() [all …]
|
/dports/math/frobby/frobby-0.9.1/src/ |
H A D | frobby.cpp | 182 return ideal._data->_ideal; in getIdeal() 197 Frobby::Ideal::Ideal(const Ideal& ideal) { in Ideal() argument 198 _data = new FrobbyImpl::FrobbyIdealHelper(*ideal._data); in Ideal() 209 new FrobbyImpl::FrobbyIdealHelper(*ideal._data); in operator =() 242 bool Frobby::alexanderDual(const Ideal& ideal, in alexanderDual() argument 275 bool Frobby::alexanderDual(const Ideal& ideal, in alexanderDual() argument 292 return alexanderDual(ideal, monomialPtr, consumer); in alexanderDual() 392 void Frobby::primaryDecomposition(const Ideal& ideal, in primaryDecomposition() argument 404 void Frobby::maximalStandardMonomials(const Ideal& ideal, in maximalStandardMonomials() argument 439 dimension(ideal, codim); in codimension() [all …]
|
H A D | IdealFacade.h | 39 void deform(BigIdeal& ideal); 43 void takeRadical(BigIdeal& ideal); 46 void swap01(BigIdeal& ideal); 57 mpz_class computeDimension(const BigIdeal& ideal, 64 void takeProducts(const vector<BigIdeal*>& ideals, BigIdeal& ideal); 82 void sortGeneratorsUnique(BigIdeal& ideal); 85 void sortGenerators(BigIdeal& ideal); 88 void sortVariables(BigIdeal& ideal); 91 void printAnalysis(FILE* out, BigIdeal& ideal); 94 void printLcm(BigIdeal& ideal, IOHandler* handler, FILE* out);
|
H A D | IOFacade.cpp | 74 ideal.clear(); in readSatBinomIdeal() 75 SatBinomRecorder recorder(ideal); in readSatBinomIdeal() 108 ideal.swap(*(recorder.releaseBigIdeal())); in readIdeal() 241 ideal = *(recorder.releaseBigIdeal()); in readAlexanderDualInstance() 279 fourti2::readGrobnerBasis(in, ideal); in readFrobeniusInstanceWithGrobnerBasis() 291 << ideal.getVarCount() + 1 in readFrobeniusInstanceWithGrobnerBasis() 293 << ideal.getVarCount() + 1 in readFrobeniusInstanceWithGrobnerBasis() 329 readLattice(Scanner& in, BigIdeal& ideal) { in readLattice() argument 333 fourti2::readLatticeBasis(in, ideal); in readLattice() 335 fplll::readLatticeBasis(in, ideal); in readLattice() [all …]
|
H A D | LibHilbertPoincareTest.cpp | 30 Frobby::Ideal ideal = toLibIdeal(IdealFactory::xx_yy_xz_yz()); in TEST_SUITE2() local 33 Frobby::multigradedHilbertPoincareSeries(ideal, consumer); in TEST_SUITE2() 39 Frobby::Ideal ideal = toLibIdeal(IdealFactory::xx_yy_xz_yz()); in TEST() local 43 Frobby::univariateHilbertPoincareSeries(ideal, consumer); in TEST() 50 Frobby::Ideal ideal(varCount); in TEST() local 53 Frobby::multigradedHilbertPoincareSeries(ideal, consumer); in TEST() 61 Frobby::Ideal ideal(varCount); in TEST() local 64 Frobby::univariateHilbertPoincareSeries(ideal, consumer); in TEST() 72 Frobby::Ideal ideal = toLibIdeal(IdealFactory::wholeRing(varCount)); in TEST() local 75 Frobby::multigradedHilbertPoincareSeries(ideal, consumer); in TEST() [all …]
|
H A D | BigattiBaseCase.cpp | 140 const Ideal& ideal = state.getIdeal(); in simpleBaseCase() local 151 _lcm.product(multiply, ideal[0]); in simpleBaseCase() 157 _lcm.product(multiply, ideal[1]); in simpleBaseCase() 160 _lcm.lcm(ideal[0], ideal[1]); in simpleBaseCase() 173 if (!ideal.disjointSupport()) in univariateAllFaces() 176 if (ideal.getGeneratorCount() > 30) in univariateAllFaces() 179 Term max(ideal.getVarCount()); in univariateAllFaces() 180 ideal.getLcm(max); in univariateAllFaces() 207 const Exponent* gen = ideal[i]; in univariateAllFaces() 259 ASSERT(!ideal.isZeroIdeal()); in enumerateScarfComplex() [all …]
|
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/ |
H A D | TmpMonomialFunctions.C | 42 bool IsIrreducible(const PPVector& ideal) in IsIrreducible() argument 44 long numgens=len(ideal); in IsIrreducible() 46 if (!IsIndetPosPower(PP(ideal[cont]))) in IsIrreducible() 51 bool IsPrime(const PPVector& ideal) in IsPrime() argument 53 long numgens=len(ideal); in IsPrime() 56 if (!IsIndet(var, PP(ideal[cont]))) in IsPrime() 61 bool IsPrimary(const PPVector& ideal) in IsPrimary() argument 63 long numgens=len(ideal); in IsPrimary() 66 long N=NumIndets(PPM(ideal)); in IsPrimary() 71 if (IsIndetPosPower(var, expo, PP(ideal[cont]))) in IsPrimary() [all …]
|
H A D | SparsePolyOps-ideal.C | 152 ideal LT(const ideal& I) in LT() 165 ideal LF(const ideal& I) in LF() 178 ideal homog(const ideal& I, ConstRefRingElem x) in homog() 191 ideal IdealOfGBasis(const ideal& I) in IdealOfGBasis() 201 ideal IdealOfMinGens(const ideal& I) in IdealOfMinGens() 203 ideal J = I; in IdealOfMinGens() 950 ideal radical_0dimDRL(const ideal& I) in radical_0dimDRL() 960 ideal radical_0dim(const ideal& I) in radical_0dim() 968 ideal RadI = radical_0dimDRL(ideal(apply(phi, gens(I)))); in radical_0dim() 973 ideal radical_MonId(const ideal& I) in radical_MonId() [all …]
|
/dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/ |
H A D | TmpMonomialFunctions.C | 42 bool IsIrreducible(const PPVector& ideal) in IsIrreducible() argument 44 long numgens=len(ideal); in IsIrreducible() 46 if (!IsIndetPosPower(PP(ideal[cont]))) in IsIrreducible() 51 bool IsPrime(const PPVector& ideal) in IsPrime() argument 53 long numgens=len(ideal); in IsPrime() 56 if (!IsIndet(var, PP(ideal[cont]))) in IsPrime() 61 bool IsPrimary(const PPVector& ideal) in IsPrimary() argument 63 long numgens=len(ideal); in IsPrimary() 66 long N=NumIndets(PPM(ideal)); in IsPrimary() 71 if (IsIndetPosPower(var, expo, PP(ideal[cont]))) in IsPrimary() [all …]
|
H A D | SparsePolyOps-ideal.C | 152 ideal LT(const ideal& I) in LT() 165 ideal LF(const ideal& I) in LF() 178 ideal homog(const ideal& I, ConstRefRingElem x) in homog() 191 ideal IdealOfGBasis(const ideal& I) in IdealOfGBasis() 201 ideal IdealOfMinGens(const ideal& I) in IdealOfMinGens() 203 ideal J = I; in IdealOfMinGens() 950 ideal radical_0dimDRL(const ideal& I) in radical_0dimDRL() 960 ideal radical_0dim(const ideal& I) in radical_0dim() 968 ideal RadI = radical_0dimDRL(ideal(apply(phi, gens(I)))); in radical_0dim() 973 ideal radical_MonId(const ideal& I) in radical_MonId() [all …]
|
/dports/math/gfan/gfan0.6.2/src/ |
H A D | tropical.cpp | 162 assert(!ideal.empty()); in computeTermInIdeal() 164 int n=ideal.begin()->numberOfVariablesInRing(); in computeTermInIdeal() 172 Polynomial p=*ideal.begin(); in computeTermInIdeal() 180 PolynomialSet g=ideal; in computeTermInIdeal() 210 if(ideal.empty())return false; in containsMonomialTraditional() 212 for(PolynomialSet::const_iterator i=ideal.begin();i!=ideal.end();i++) in containsMonomialTraditional() 215 int n=ideal.begin()->numberOfVariablesInRing(); in containsMonomialTraditional() 217 PolynomialSet g=ideal; in containsMonomialTraditional() 251 return containsMonomialDehomogenize(ideal); in containsMonomial() 259 assert(!ideal.empty()); in saturatedIdeal() [all …]
|
/dports/math/gfanlib/gfan0.6.2/src/ |
H A D | tropical.cpp | 162 assert(!ideal.empty()); in computeTermInIdeal() 164 int n=ideal.begin()->numberOfVariablesInRing(); in computeTermInIdeal() 172 Polynomial p=*ideal.begin(); in computeTermInIdeal() 180 PolynomialSet g=ideal; in computeTermInIdeal() 210 if(ideal.empty())return false; in containsMonomialTraditional() 212 for(PolynomialSet::const_iterator i=ideal.begin();i!=ideal.end();i++) in containsMonomialTraditional() 215 int n=ideal.begin()->numberOfVariablesInRing(); in containsMonomialTraditional() 217 PolynomialSet g=ideal; in containsMonomialTraditional() 251 return containsMonomialDehomogenize(ideal); in containsMonomial() 259 assert(!ideal.empty()); in saturatedIdeal() [all …]
|
/dports/math/singular/Singular-Release-4-2-1/kernel/linear_algebra/ |
H A D | MinorProcessor.h | 345 const ideal& iSB); 375 const ideal& iSB); 400 const ideal& iSB); 460 const int characteristic, const ideal& iSB, 543 const ideal& iSB); 600 const ideal& iSB); 621 const ideal& iSB); 640 const ideal& iSB); 695 const ideal& iSB); 719 const ideal& iSB); [all …]
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/tests/utils/numbertheory/ |
H A D | badideals.rsa220.badidealinfo | 3 # I0:=ideal<O|2,(7+38348142525*alpha+653591126718983722500*alpha^2+8354668560164974471195016437500*… 4 # I1:=ideal<O|2,(31+332350568550*alpha+6045717922150599433125*alpha^2+12532002840247461706792524656… 5 # I2:=ideal<O|2,(27+76696285050*alpha+3431353415274664543125*alpha^2+459506770809073595915725904062… 11 # I3:=ideal<O|2,12782714175*alpha+326795563359491861250*alpha^2>; // f=1 e=1 12 # I4:=ideal<O|2,(5+76696285050*alpha+1143784471758221514375*alpha^2+1067953402314476595114576658049… 13 # I5:=ideal<O|2,(7+490193345039237791875*alpha^2+106795340231447659511457665804989251562500*alpha^4… 20 # I0:=ideal<O|3,(4+238610664600*alpha+2969401662130691480000*alpha^2+660121960309331316242569200000… 21 # I1:=ideal<O|3,(10+136348951200*alpha+2969401662130691480000*alpha^2+66012196030933131624256920000… 27 # I3:=ideal<O|3,3+22724825200*alpha+1161939780833748840000*alpha^2+13202439206186626324851384000000… 28 # I4:=ideal<O|3,2+34087237800*alpha>; // f=1 e=1 [all …]
|
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/ |
H A D | idealact.tst | 16 # MaximalDClasses, for an inverse acting semigroup ideal, 1 30 # MaximalDClasses, for an regular acting semigroup ideal, 1 38 # DClassReps, for an regular acting semigroup ideal, 1 67 # SemigroupData, for an acting semigroup ideal, 1 76 # SemigroupData, for an acting semigroup ideal, 2 84 # SemigroupData, for an acting semigroup ideal, 3 95 # GeneratorsOfSemigroup, for an acting semigroup ideal, 1 106 # GeneratorsOfSemigroup, for an acting semigroup ideal, 2 117 # GeneratorsOfSemigroup, for an acting semigroup ideal, 3 128 # GeneratorsOfSemigroup, for an acting semigroup ideal, 4 [all …]
|
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/tests/ |
H A D | tut-CoCoLA4.cocoa5 | 7 -- ring for 0-dimensional ideal 16 ideal(x^2-1, y^2-1, x+y+z) 54 J := I; -- S contains just the ideal I 108 -- L := Kt/ideal(f); 124 -- ideal(x^2-1, y^2-1, x+y+z) 141 -- J := ideal(Gtx) + ideal(ReadExpr(Ktx, sprint(f))); 158 I := ideal(f1, f2, f3); 170 NewS := [ ideal(ReducedGBasis(J + ideal(f))) | f in EF ]; 179 J := ideal(apply(phi, gens(S[1]))); 195 Jr := ideal(diff(RGB, [gz])) + ideal(z-r); [all …]
|