Home
last modified time | relevance | path

Searched refs:ideal (Results 76 – 100 of 6250) sorted by relevance

12345678910>>...250

/dports/math/gap/gap-4.11.0/pkg/sonata-2.9.1/lib/
H A Dxgap.gi23 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 Dgfan.h39 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 Dwitness.cc9 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 Dideal_jaen.recipe11 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 Dideal_almeria.recipe11 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 Dtest-GOperations1.C95 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 Dtest-MonomialIdeal1.C59 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 Dtest-GOperations1.C95 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 Dtest-MonomialIdeal1.C59 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 DprCopy.cc155 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 Dfrobby.cpp182 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 DIdealFacade.h39 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 DIOFacade.cpp74 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 DLibHilbertPoincareTest.cpp30 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 DBigattiBaseCase.cpp140 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 DTmpMonomialFunctions.C42 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 DSparsePolyOps-ideal.C152 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 DTmpMonomialFunctions.C42 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 DSparsePolyOps-ideal.C152 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 Dtropical.cpp162 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 Dtropical.cpp162 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 DMinorProcessor.h345 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 Dbadideals.rsa220.badidealinfo3 # 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 Didealact.tst16 # 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 Dtut-CoCoLA4.cocoa57 -- 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 …]

12345678910>>...250