| /dports/math/cocoalib/CoCoALib-0.99712/src/tests/ |
| H A D | test-PPMonoid1.out | 9 wdeg(t1) gives ()
10 wdeg(t2) gives ()
23 wdeg(t1) gives (6)
24 wdeg(t2) gives (4)
38 wdeg(t1) gives (6)
39 wdeg(t2) gives (4)
72 wdeg(t1) gives ()
73 wdeg(t2) gives ()
86 wdeg(t1) gives (6)
135 wdeg(t1) gives ()
[all …]
|
| H A D | test-SparsePolyRing1.out | 9 wdeg(f1) gives (2)
10 wdeg(f2) gives (2)
35 wdeg(f1) gives (2)
36 wdeg(f2) gives (2)
61 wdeg(f1) gives (2)
62 wdeg(f2) gives (2)
86 wdeg(f1) gives (2)
87 wdeg(f2) gives (2)
111 wdeg(f1) gives (2)
112 wdeg(f2) gives (2)
[all …]
|
| H A D | test-SparsePolyRing1.C | 74 cout << "wdeg(f1) gives " << wdeg(f1) << endl; in TestSparsePolyRing()
75 cout << "wdeg(f2) gives " << wdeg(f2) << endl; in TestSparsePolyRing()
154 CoCoA_ASSERT_ALWAYS(wdeg(f1) + wdeg(one(P)) == wdeg(f1)); in TestSparsePolyRing()
155 CoCoA_ASSERT_ALWAYS(wdeg(f2) + wdeg(one(P)) == wdeg(f2)); in TestSparsePolyRing()
156 CoCoA_ASSERT_ALWAYS(wdeg(f1) + wdeg(f2) == wdeg(f1f2)); in TestSparsePolyRing()
|
| H A D | test-PPMonoid1.C | 85 cout << "wdeg(t1) gives " << wdeg(t1) << endl; in TestPPMonoid()
86 cout << "wdeg(t2) gives " << wdeg(t2) << endl; in TestPPMonoid()
157 CoCoA_ASSERT_ALWAYS(wdeg(t1) + wdeg(one) == wdeg(t1)); in TestPPMonoid()
158 CoCoA_ASSERT_ALWAYS(wdeg(t2) + wdeg(one) == wdeg(t2)); in TestPPMonoid()
159 CoCoA_ASSERT_ALWAYS(wdeg(t1) + wdeg(t2) == wdeg(t1t2)); in TestPPMonoid()
|
| H A D | test-FreeModule2.out | 7 wdeg(u) = ()
18 wdeg(u) = (5)
29 wdeg(u) = (5)
40 wdeg(u) = ()
51 wdeg(u) = (5)
62 wdeg(u) = (5)
|
| H A D | test-FreeModule2.C | 64 cout << "wdeg(u) = " << wdeg(u) << endl; in trial()
85 std::vector<degree> sh(n, wdeg(one(PDegLex))); in program()
86 sh[1] = wdeg(power(indet(PDegLex,0),4)); in program()
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/tests/ |
| H A D | test-PPMonoid1.out | 9 wdeg(t1) gives ()
10 wdeg(t2) gives ()
23 wdeg(t1) gives (6)
24 wdeg(t2) gives (4)
38 wdeg(t1) gives (6)
39 wdeg(t2) gives (4)
72 wdeg(t1) gives ()
73 wdeg(t2) gives ()
86 wdeg(t1) gives (6)
135 wdeg(t1) gives ()
[all …]
|
| H A D | test-SparsePolyRing1.out | 9 wdeg(f1) gives (2)
10 wdeg(f2) gives (2)
35 wdeg(f1) gives (2)
36 wdeg(f2) gives (2)
61 wdeg(f1) gives (2)
62 wdeg(f2) gives (2)
86 wdeg(f1) gives (2)
87 wdeg(f2) gives (2)
111 wdeg(f1) gives (2)
112 wdeg(f2) gives (2)
[all …]
|
| H A D | test-SparsePolyRing1.C | 74 cout << "wdeg(f1) gives " << wdeg(f1) << endl; in TestSparsePolyRing()
75 cout << "wdeg(f2) gives " << wdeg(f2) << endl; in TestSparsePolyRing()
154 CoCoA_ASSERT_ALWAYS(wdeg(f1) + wdeg(one(P)) == wdeg(f1)); in TestSparsePolyRing()
155 CoCoA_ASSERT_ALWAYS(wdeg(f2) + wdeg(one(P)) == wdeg(f2)); in TestSparsePolyRing()
156 CoCoA_ASSERT_ALWAYS(wdeg(f1) + wdeg(f2) == wdeg(f1f2)); in TestSparsePolyRing()
|
| H A D | test-PPMonoid1.C | 85 cout << "wdeg(t1) gives " << wdeg(t1) << endl; in TestPPMonoid()
86 cout << "wdeg(t2) gives " << wdeg(t2) << endl; in TestPPMonoid()
157 CoCoA_ASSERT_ALWAYS(wdeg(t1) + wdeg(one) == wdeg(t1)); in TestPPMonoid()
158 CoCoA_ASSERT_ALWAYS(wdeg(t2) + wdeg(one) == wdeg(t2)); in TestPPMonoid()
159 CoCoA_ASSERT_ALWAYS(wdeg(t1) + wdeg(t2) == wdeg(t1t2)); in TestPPMonoid()
|
| H A D | test-FreeModule2.out | 7 wdeg(u) = ()
18 wdeg(u) = (5)
29 wdeg(u) = (5)
40 wdeg(u) = ()
51 wdeg(u) = (5)
62 wdeg(u) = (5)
|
| H A D | test-FreeModule2.C | 64 cout << "wdeg(u) = " << wdeg(u) << endl; in trial()
85 std::vector<degree> sh(n, wdeg(one(PDegLex))); in program()
86 sh[1] = wdeg(power(indet(PDegLex,0),4)); in program()
|
| /dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/TmpHilbertDir/ |
| H A D | TmpPoincareCPP.C | 116 degree wdeg(const PPMonoid& PPM, const eterm t) in wdeg() function
122 return wdeg(pp); in wdeg()
264 p1 *= OneMinusXExp(P, wdeg(PPM, myTerm)); in LenOnePoincare()
271 p1 *= OneMinusXExp(P, wdeg(IndetPower(PPM, OccInd[i]-1, exp))); in LenOnePoincare()
274 p1 += -XExp(P,wdeg(PPM,myTerm)) * p2; in LenOnePoincare()
289 p1 *= OneMinusXExp(P, wdeg(PPM, theTerm)); in OneTermAndSPPoincare()
297 p1 *= OneMinusXExp(P, wdeg(IndetPower(PPM, OccInd[i]-1, exp))); in OneTermAndSPPoincare()
300 p1 += -XExp(P, wdeg(PPM, theTerm)) * p2; in OneTermAndSPPoincare()
392 res *= OneMinusXExp(P, wdeg(PPM, MTL[n])); in TotalSplitPoincare()
488 res *= OneMinusXExp(P, wdeg(PPM, NewMTL[n])); in SplitPoincare()
[all …]
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/TmpHilbertDir/ |
| H A D | TmpPoincareCPP.C | 116 degree wdeg(const PPMonoid& PPM, const eterm t) in wdeg() function
122 return wdeg(pp); in wdeg()
264 p1 *= OneMinusXExp(P, wdeg(PPM, myTerm)); in LenOnePoincare()
271 p1 *= OneMinusXExp(P, wdeg(IndetPower(PPM, OccInd[i]-1, exp))); in LenOnePoincare()
274 p1 += -XExp(P,wdeg(PPM,myTerm)) * p2; in LenOnePoincare()
289 p1 *= OneMinusXExp(P, wdeg(PPM, theTerm)); in OneTermAndSPPoincare()
297 p1 *= OneMinusXExp(P, wdeg(IndetPower(PPM, OccInd[i]-1, exp))); in OneTermAndSPPoincare()
300 p1 += -XExp(P, wdeg(PPM, theTerm)) * p2; in OneTermAndSPPoincare()
392 res *= OneMinusXExp(P, wdeg(PPM, MTL[n])); in TotalSplitPoincare()
488 res *= OneMinusXExp(P, wdeg(PPM, NewMTL[n])); in SplitPoincare()
[all …]
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/ |
| H A D | SparsePolyOps-RingElem-homog.C | 52 degree wdeg(ConstRefRingElem f) in wdeg() function
56 return wdeg(LPP(f)); // yes! see [KR] introduction Sec.4.3 in wdeg()
107 if ( wdeg(h)[0]!=1 ) in homog()
193 CoCoA_ASSERT( IsOne(wdeg(h)[0]) ); in myHomog()
197 const BigInt d = wdeg(f)[0]; in myHomog()
200 RingElem term = monomial(P, coeff(it),PP(it) * power(PPh,d-wdeg(PP(it))[0])); in myHomog()
218 const long DegPP = ConvertTo<long>(wdeg(PP(it))[0]); in HomogCompt()
|
| H A D | FreeModule.C | 672 d = wdeg(v[posn]) + myShiftsValue[posn]; in myWDeg()
701 degree MaxWDeg(wdeg(v[MaxPos])+myShiftsValue[MaxPos]); in myLPosn()
710 MaxWDeg = wdeg(v[MaxPos]) + myShiftsValue[MaxPos]; in myLPosn()
813 degree MaxWDeg(wdeg(v[MaxPos]) + myShiftsValue[MaxPos]); in myLPosn()
822 MaxWDeg = wdeg(v[MaxPos]) + myShiftsValue[MaxPos]; in myLPosn()
883 degree wdeg(const ModuleElem& v) in wdeg() function
926 CoCoA_ASSERT( IsOne(wdeg(h)[0]) ); in homog()
927 const BigInt d = wdeg(v)[0]; in homog()
944 degree d(wdeg(v[FNZP])+s[FNZP]); in IsHomog()
948 if (!IsHomog(v[i]) || wdeg(v[i])+s[i] != d) in IsHomog()
[all …]
|
| H A D | TmpGPoly.C | 62 myWDeg(wdeg(LPP(the_p))), in GPoly()
88 myWDeg(wdeg(theLPP)), in GPoly()
114 myWDeg(wdeg(theLPP)), in GPoly()
139 myWDeg(wdeg(LPP(the_p))), in GPoly()
282 myWDeg = wdeg(myLPPForOrd); in myUpdateLenLPPLCDegComp()
346 myWDeg = wdeg(myLPPForOrd); // should we make it more efficient? in MultiplyByPP()
452 myWDeg = wdeg(myLPPForOrd); in smart_dehomog_DRL()
480 myWDeg = wdeg(myLPPForOrd); in smart_dehomog()
524 <<", Wdeg=" << wdeg(*(RD.myGPolyPtr))
637 degree d(wdeg(f)); in OrderedInterreduce()
[all …]
|
| H A D | SugarDegree.C | 311 { return wdeg(pp); } in myDeg()
316 { if (!IsZero(f)) myValue=wdeg(LPP(f)); } in WDegConst()
319 { return wdeg(pp); } in myDeg()
329 { return wdeg(pp); } in myDeg()
337 myValue = max(myValue, wdeg(CofactorPP) + sugar(g)->myWSugar()); in myUpdate()
348 degree tmp = wdeg(pp); in myDeg()
|
| /dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/ |
| H A D | SparsePolyOps-RingElem-homog.C | 52 degree wdeg(ConstRefRingElem f) in wdeg() function
56 return wdeg(LPP(f)); // yes! see [KR] introduction Sec.4.3 in wdeg()
107 if ( wdeg(h)[0]!=1 ) in homog()
193 CoCoA_ASSERT( IsOne(wdeg(h)[0]) ); in myHomog()
197 const BigInt d = wdeg(f)[0]; in myHomog()
200 RingElem term = monomial(P, coeff(it),PP(it) * power(PPh,d-wdeg(PP(it))[0])); in myHomog()
218 const long DegPP = ConvertTo<long>(wdeg(PP(it))[0]); in HomogCompt()
|
| H A D | FreeModule.C | 672 d = wdeg(v[posn]) + myShiftsValue[posn]; in myWDeg()
701 degree MaxWDeg(wdeg(v[MaxPos])+myShiftsValue[MaxPos]); in myLPosn()
710 MaxWDeg = wdeg(v[MaxPos]) + myShiftsValue[MaxPos]; in myLPosn()
813 degree MaxWDeg(wdeg(v[MaxPos]) + myShiftsValue[MaxPos]); in myLPosn()
822 MaxWDeg = wdeg(v[MaxPos]) + myShiftsValue[MaxPos]; in myLPosn()
883 degree wdeg(const ModuleElem& v) in wdeg() function
926 CoCoA_ASSERT( IsOne(wdeg(h)[0]) ); in homog()
927 const BigInt d = wdeg(v)[0]; in homog()
944 degree d(wdeg(v[FNZP])+s[FNZP]); in IsHomog()
948 if (!IsHomog(v[i]) || wdeg(v[i])+s[i] != d) in IsHomog()
[all …]
|
| H A D | TmpGPoly.C | 62 myWDeg(wdeg(LPP(the_p))), in GPoly()
88 myWDeg(wdeg(theLPP)), in GPoly()
114 myWDeg(wdeg(theLPP)), in GPoly()
139 myWDeg(wdeg(LPP(the_p))), in GPoly()
282 myWDeg = wdeg(myLPPForOrd); in myUpdateLenLPPLCDegComp()
346 myWDeg = wdeg(myLPPForOrd); // should we make it more efficient? in MultiplyByPP()
452 myWDeg = wdeg(myLPPForOrd); in smart_dehomog_DRL()
480 myWDeg = wdeg(myLPPForOrd); in smart_dehomog()
524 <<", Wdeg=" << wdeg(*(RD.myGPolyPtr))
637 degree d(wdeg(f)); in OrderedInterreduce()
[all …]
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/CoCoA-5/tests/ |
| H A D | lecture-HF1.cocoa5 | 8 -- In CoCoA there are two degree functions: deg and wdeg
15 wdeg(T);
17 -- In this course we are interested in wdeg, the degree defined by a
27 wdeg(BringIn(T));
33 wdeg(BringIn(T));
39 wdeg(BringIn(T));
48 wdeg(BringIn(T));
|
| /dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/tests/ |
| H A D | lecture-HF1.cocoa5 | 8 -- In CoCoA there are two degree functions: deg and wdeg
15 wdeg(T);
17 -- In this course we are interested in wdeg, the degree defined by a
27 wdeg(BringIn(T));
33 wdeg(BringIn(T));
39 wdeg(BringIn(T));
48 wdeg(BringIn(T));
|
| /dports/math/giacxcas/CoCoALib-0.99700/examples/ |
| H A D | ex-module2.C | 37 cout << "wdeg(u) = " << wdeg(u) << endl; in trial()
75 std::vector<degree> sh(n, wdeg(one(PDegLex))); in program()
76 sh[1] = wdeg(power(indet(PDegLex,0),4)); in program()
|
| /dports/math/cocoalib/CoCoALib-0.99712/examples/ |
| H A D | ex-module2.C | 37 cout << "wdeg(u) = " << wdeg(u) << endl; in trial()
75 std::vector<degree> sh(n, wdeg(one(PDegLex))); in program()
76 sh[1] = wdeg(power(indet(PDegLex,0),4)); in program()
|