Changeset 03bf55 in git
- Timestamp:
- Apr 21, 2011, 11:54:15 AM (12 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')
- Children:
- c7e3d79fd9a3b15014fb3938e83d45f7eb0893c1
- Parents:
- 17e473accf9564b8b0b38cf730a72e24272bad8a
- git-author:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-04-21 11:54:15+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:23+01:00
- Location:
- libpolys/polys/monomials
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/polys/monomials/ring.cc
r17e473 r03bf55 290 290 else if (rField_is_Ring(r)) 291 291 { 292 TODO(Frank, "Please consider addapting the variable names...");293 294 292 PrintS("// coeff. ring is : "); 295 293 if (rField_is_Ring_Z(r)) PrintS("Integers\n"); 296 /* 297 long l = (long)mpz_sizeinbase(r->ringflaga, 10) + 2; 294 long l = (long)mpz_sizeinbase(r->cf->modBase, 10) + 2; 298 295 char* s = (char*) omAlloc(l); 299 mpz_get_str(s,10,r-> ringflaga);296 mpz_get_str(s,10,r->cf->modBase); 300 297 if (rField_is_Ring_ModN(r)) Print("Z/%s\n", s); 301 if (rField_is_Ring_2toM(r)) Print("Z/2^%lu\n", r-> ringflagb);302 if (rField_is_Ring_PtoM(r)) Print("Z/%s^%lu\n", s, r-> ringflagb);298 if (rField_is_Ring_2toM(r)) Print("Z/2^%lu\n", r->cf->modExponent); 299 if (rField_is_Ring_PtoM(r)) Print("Z/%s^%lu\n", s, r->cf->modExponent); 303 300 omFreeSize((ADDRESS)s, l); 304 */305 301 } 306 302 #endif … … 529 525 } 530 526 #ifdef HAVE_RINGS 531 TODO(Frank, "Please consider addapting the variable names..."); 532 /* 533 if (r->ringflaga != NULL) 534 { 535 mpz_clear(r->ringflaga); 536 omFree((ADDRESS)r->ringflaga); 537 } 538 if (r->nrnModul != NULL) 539 { 540 mpz_clear(r->nrnModul); 541 omFree((ADDRESS)r->nrnModul); 542 } 543 */ 527 if (r->cf->modBase != NULL) 528 { 529 mpz_clear(r->cf->modBase); 530 omFree((ADDRESS)r->cf->modBase); 531 } 532 if (r->cf->modNumber != NULL) 533 { 534 mpz_clear(r->cf->modNumber); 535 omFree((ADDRESS)r->cf->modNumber); 536 } 544 537 #endif 545 538 omFreeBin(r, sip_sring_bin); … … 660 653 661 654 #ifdef HAVE_RINGS 662 TODO(Frank, "Please consider addapting the variable names...");663 /*664 655 if (rField_is_Ring_Z(r)) 665 656 { … … 670 661 { 671 662 char* s = (char*) omAlloc(7+10+2); 672 sprintf(s,"integer,%lu",r-> ringflagb);663 sprintf(s,"integer,%lu",r->cf->modExponent); 673 664 return s; 674 665 } 675 666 if(rField_is_Ring_ModN(r)) 676 667 { 677 long l = (long)mpz_sizeinbase(r-> ringflaga, 10) + 2+7;668 long l = (long)mpz_sizeinbase(r->cf->modBase, 10) + 2+7; 678 669 char* s = (char*) omAlloc(l); 679 gmp_sprintf(s,"integer,%Zd",r-> ringflaga);670 gmp_sprintf(s,"integer,%Zd",r->cf->modBase); 680 671 return s; 681 672 } 682 673 if(rField_is_Ring_PtoM(r)) 683 674 { 684 long l = (long)mpz_sizeinbase(r-> ringflaga, 10) + 2+7+10;675 long l = (long)mpz_sizeinbase(r->cf->modBase, 10) + 2+7+10; 685 676 char* s = (char*) omAlloc(l); 686 gmp_sprintf(s,"integer,%Zd^%lu",r-> ringflaga,r->ringflagb);677 gmp_sprintf(s,"integer,%Zd^%lu",r->cf->modBase,r->cf->modExponent); 687 678 return s; 688 679 } 689 */690 680 #endif 691 681 if (r->parameter==NULL) … … 791 781 { 792 782 #ifdef HAVE_RINGS 793 TODO(Frank, "Please consider addapting the variable names...");794 /*795 783 if (rField_is_Ring_2toM(r)) 796 return binaryPower(2, (int)(unsigned long)r-> ringflagb);784 return binaryPower(2, (int)(unsigned long)r->cf->modExponent); 797 785 if (rField_is_Ring_ModN(r)) 798 return (int)mpz_get_ui(r-> ringflaga);786 return (int)mpz_get_ui(r->cf->modBase); 799 787 if (rField_is_Ring_PtoM(r)) 800 return binaryPower((int)mpz_get_ui(r-> ringflaga),801 (int)(unsigned long)r-> ringflagb);802 */ 788 return binaryPower((int)mpz_get_ui(r->cf->modBase), 789 (int)(unsigned long)r->cf->modExponent); 790 803 791 #endif 804 792 if (rField_is_numeric(r)) … … 1634 1622 res->ch=r->ch; /* characteristic */ 1635 1623 #ifdef HAVE_RINGS 1636 TODO(Frank, "Please consider addapting the variable names..."); 1637 /* 1638 res->ringtype=r->ringtype; // cring = 0 => coefficient field, cring = 1 => coeffs from Z/2^m 1639 if (r->ringflaga!=NULL) 1640 { 1641 res->ringflaga = (int_number) omAlloc(sizeof(mpz_t)); 1642 mpz_init_set(res->ringflaga,r->ringflaga); 1643 } 1644 res->ringflagb=r->ringflagb; 1645 if (r->nrnModul!=NULL) 1646 { 1647 res->nrnModul = (int_number) omAlloc(sizeof(mpz_t)); 1648 mpz_init_set(res->nrnModul,r->nrnModul); 1649 } 1650 */ 1624 res->cf->ringtype = r->cf->ringtype; // cring = 0 => coefficient field, cring = 1 => coeffs from Z/2^m 1625 if (r->cf->modBase!=NULL) 1626 { 1627 res->cf->modBase = (int_number) omAlloc(sizeof(mpz_t)); 1628 mpz_init_set(res->cf->modBase,r->cf->modBase); 1629 } 1630 res->cf->modExponent=r->cf->modExponent; 1631 if (r->cf->modNumber!=NULL) 1632 { 1633 res->cf->modNumber = (int_number) omAlloc(sizeof(mpz_t)); 1634 mpz_init_set(res->cf->modNumber,r->cf->modNumber); 1635 } 1651 1636 #endif 1652 1637 //memset: res->ref=0; /* reference counter to the ring */ … … 1705 1690 res->options=r->options; 1706 1691 #ifdef HAVE_RINGS 1707 TODO(Frank, "Please consider addapting the variable names..."); 1708 // res->ringtype=r->ringtype; 1692 res->cf->ringtype=r->cf->ringtype; 1709 1693 #endif 1710 1694 // -
libpolys/polys/monomials/ring.h
r17e473 r03bf55 225 225 the highest monomial below pHEdge */ 226 226 // #ifdef HAVE_RINGS 227 // unsigned int ringtype; /* cring = 0 => coefficient field, cring = 1 => coeffs from Z/2^m */228 // int_number ringflaga; /* Z/(ringflag^ringflagb)=Z/nrnModul*/229 // unsigned long ringflagb;230 // unsigned long nr2mModul; /* Z/nr2mModul*/231 // int_number nrnModul;227 // unsigned int cf->ringtype; /* cring = 0 => coefficient field, cring = 1 => coeffs from Z/2^m */ 228 // int_number cf->modBase; /* Z/(ringflag^cf->modExponent)=Z/cf->modNumber*/ 229 // unsigned long cf->modExponent; 230 // unsigned long cf->modNumber; /* Z/cf->modNumber */ 231 // int_number cf->modNumber; 232 232 // #endif 233 233
Note: See TracChangeset
for help on using the changeset viewer.