Changeset 64a88e in git
- Timestamp:
- Aug 13, 2009, 5:31:27 PM (14 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- f5da374c614ef679bad9ff3b7d6e407d7f0dc8b0
- Parents:
- 073295f83bd787c17170311fa837e22cf427905d
- Location:
- kernel
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/clapconv.cc
r073295f r64a88e 3 3 * Computer Algebra System SINGULAR * 4 4 ****************************************/ 5 // $Id: clapconv.cc,v 1.1 5 2009-08-13 15:17:02Singular Exp $5 // $Id: clapconv.cc,v 1.16 2009-08-13 15:31:27 Singular Exp $ 6 6 /* 7 7 * ABSTRACT: convert data between Singular and factory … … 162 162 163 163 164 CanonicalForm convSingPFactoryP( poly p, const int off, constring r )164 CanonicalForm convSingPFactoryP( poly p, const ring r ) 165 165 { 166 166 CanonicalForm result = 0; … … 206 206 { 207 207 if ( (e = p_GetExp( p, i, r)) != 0 ) 208 term *= power( Variable( i +off), e );208 term *= power( Variable( i ), e ); 209 209 } 210 210 result += term; … … 409 409 { 410 410 n_Normalize(pGetCoeff(p),r); 411 CanonicalForm term=convSingPFactoryP(((lnumber)pGetCoeff(p))->z, 0,r->algring);411 CanonicalForm term=convSingPFactoryP(((lnumber)pGetCoeff(p))->z,r->algring); 412 412 413 413 if ((((lnumber)pGetCoeff(p))->n!=NULL) -
kernel/clapconv.h
r073295f r64a88e 3 3 * Computer Algebra System SINGULAR * 4 4 ****************************************/ 5 // $Id: clapconv.h,v 1. 5 2009-08-13 15:17:02Singular Exp $5 // $Id: clapconv.h,v 1.6 2009-08-13 15:31:27 Singular Exp $ 6 6 /* 7 7 * ABSTRACT: convert data between Singular and factory … … 17 17 18 18 poly convFactoryPSingP ( const CanonicalForm & f, const ring r=currRing ); 19 CanonicalForm convSingPFactoryP( poly p, const int off=0, constring r=currRing );19 CanonicalForm convSingPFactoryP( poly p, const ring r=currRing ); 20 20 21 21 CanonicalForm convSingAPFactoryAP ( poly p , const Variable & a ); -
kernel/clapsing.cc
r073295f r64a88e 3 3 * Computer Algebra System SINGULAR * 4 4 ****************************************/ 5 // $Id: clapsing.cc,v 1.4 2 2009-08-13 15:17:02Singular Exp $5 // $Id: clapsing.cc,v 1.43 2009-08-13 15:31:27 Singular Exp $ 6 6 /* 7 7 * ABSTRACT: interface between Singular and factory … … 45 45 CanonicalForm newGCD(const CanonicalForm & A, const CanonicalForm & B); 46 46 setCharacteristic( n_GetChar(r) ); 47 CanonicalForm F( convSingPFactoryP( f, 0,r ) ), G( convSingPFactoryP( g,0, r ) );47 CanonicalForm F( convSingPFactoryP( f,r ) ), G( convSingPFactoryP( g, r ) ); 48 48 //if (nGetChar() > 1 ) 49 49 //{ … … 66 66 { 67 67 // WerrorS( feNotImplemented ); 68 CanonicalForm mipo=convSingPFactoryP(((lnumber)r->minpoly)->z, 0,r->algring);68 CanonicalForm mipo=convSingPFactoryP(((lnumber)r->minpoly)->z,r->algring); 69 69 //Varlist ord; 70 70 //ord.append(mipo.mvar()); … … 83 83 if ( nGetChar()==1 ) On(SW_USE_QGCD); 84 84 CanonicalForm mipo=convSingPFactoryP(((lnumber)r->minpoly)->z, 85 0,r->algring);85 r->algring); 86 86 Variable a=rootOf(mipo); 87 87 CanonicalForm F( convSingAPFactoryAP( f,a ) ), … … 179 179 //Variable X(i); 180 180 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 181 0,currRing->algring);181 currRing->algring); 182 182 Variable a=rootOf(mipo); 183 183 CanonicalForm F( convSingAPFactoryAP( f,a ) ), G( convSingAPFactoryAP( g,a ) ); … … 321 321 { 322 322 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 323 0,currRing->algring);323 currRing->algring); 324 324 Variable a=rootOf(mipo); 325 325 CanonicalForm F( convSingAPFactoryAP( f,a ) ), G( convSingAPFactoryAP( g,a ) ); … … 371 371 { 372 372 setCharacteristic( n_GetChar(r) ); 373 CanonicalForm F( convSingPFactoryP( f, 0,r ) ), G( convSingPFactoryP( g,0,r) );373 CanonicalForm F( convSingPFactoryP( f,r ) ), G( convSingPFactoryP( g,r) ); 374 374 CanonicalForm FpG=F+G; 375 375 if (!(FpG.isUnivariate()|| FpG.inCoeffDomain())) … … 397 397 { 398 398 CanonicalForm mipo=convSingPFactoryP(((lnumber)r->minpoly)->z, 399 0,r->algring);399 r->algring); 400 400 Variable a=rootOf(mipo); 401 401 CanonicalForm F( convSingAPFactoryAP( f,a ) ), … … 459 459 { 460 460 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 461 0,currRing->algring);461 currRing->algring); 462 462 Variable a=rootOf(mipo); 463 463 CanonicalForm F( convSingAPFactoryAP( f,a ) ), G( convSingAPFactoryAP( g,a ) ); … … 546 546 pIter(p); 547 547 } 548 g = convSingPFactoryP( ((lnumber)g1)->z, 0,currRing->algring );549 g = gcd( g, convSingPFactoryP( ((lnumber)g2)->z , 0,currRing->algring));548 g = convSingPFactoryP( ((lnumber)g1)->z, currRing->algring ); 549 g = gcd( g, convSingPFactoryP( ((lnumber)g2)->z , currRing->algring)); 550 550 551 551 // second run: gcd's … … 554 554 while ( (p != NULL) && (g != 1) && ( g != 0)) 555 555 { 556 h = convSingPFactoryP( ((lnumber)pGetCoeff(p))->z, 0,currRing->algring );556 h = convSingPFactoryP( ((lnumber)pGetCoeff(p))->z, currRing->algring ); 557 557 pIter( p ); 558 558 … … 621 621 { 622 622 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 623 0,currRing->algring);623 currRing->algring); 624 624 a=rootOf(mipo); 625 625 F=convSingAPFactoryAP( f,a ); … … 845 845 { 846 846 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 847 0,currRing->algring);847 currRing->algring); 848 848 Variable a=rootOf(mipo); 849 849 CanonicalForm F( convSingAPFactoryAP( f,a ) ); … … 1190 1190 { 1191 1191 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 1192 0,currRing->algring);1192 currRing->algring); 1193 1193 Variable a=rootOf(mipo); 1194 1194 CanonicalForm F( convSingAPFactoryAP( f,a ) ); … … 1444 1444 //{ 1445 1445 // CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 1446 // 0,currRing->algring);1446 // currRing->algring); 1447 1447 // Variable a=rootOf(mipo); 1448 1448 // CanonicalForm F( convSingAPFactoryAP( f,a ) ); … … 1499 1499 { 1500 1500 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 1501 0,currRing->algring);1501 currRing->algring); 1502 1502 Variable a=rootOf(mipo); 1503 1503 int i,j; … … 1557 1557 { 1558 1558 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 1559 0,currRing->algring);1559 currRing->algring); 1560 1560 Variable a=rootOf(mipo); 1561 1561 CanonicalForm F( convSingAFactoryA( f,a ) ), G( convSingAFactoryA( g,a ) ); … … 1570 1570 else 1571 1571 { 1572 CanonicalForm F( convSingPFactoryP( f, 0,currRing->algring ) ),1573 G( convSingPFactoryP( g, 0,currRing->algring ) );1572 CanonicalForm F( convSingPFactoryP( f,currRing->algring ) ), 1573 G( convSingPFactoryP( g,currRing->algring ) ); 1574 1574 CanonicalForm GCD; 1575 1575 // calculate gcd … … 1595 1595 { 1596 1596 CanonicalForm mipo=convSingPFactoryP(((lnumber)currRing->minpoly)->z, 1597 0,currRing->algring);1597 currRing->algring); 1598 1598 Variable a=rootOf(mipo); 1599 1599 CanonicalForm F( convSingAFactoryA( f,a ) ), G( convSingAFactoryA( g,a ) ); … … 1610 1610 else 1611 1611 { 1612 CanonicalForm F( convSingPFactoryP( f, 0,currRing->algring ) ),1613 G( convSingPFactoryP( g, 0,currRing->algring ) );1612 CanonicalForm F( convSingPFactoryP( f,currRing->algring ) ), 1613 G( convSingPFactoryP( g,currRing->algring ) ); 1614 1614 CanonicalForm GCD; 1615 1615 -
kernel/longalg.cc
r073295f r64a88e 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: longalg.cc,v 1.4 5 2009-08-13 15:17:03Singular Exp $ */4 /* $Id: longalg.cc,v 1.46 2009-08-13 15:31:27 Singular Exp $ */ 5 5 /* 6 6 * ABSTRACT: algebraic numbers … … 1530 1530 napoly rz=napGcd(x->z, y->z); 1531 1531 CanonicalForm F, G, R; 1532 R=convSingPFactoryP(rz, 0,nacRing);1532 R=convSingPFactoryP(rz,nacRing); 1533 1533 p_Normalize(x->z,nacRing); 1534 F=convSingPFactoryP(x->z, 0,nacRing)/R;1534 F=convSingPFactoryP(x->z,nacRing)/R; 1535 1535 p_Normalize(y->z,nacRing); 1536 G=convSingPFactoryP(y->z, 0,nacRing)/R;1536 G=convSingPFactoryP(y->z,nacRing)/R; 1537 1537 F = gcd( F, G ); 1538 1538 if (F.isOne())
Note: See TracChangeset
for help on using the changeset viewer.