Changeset d906dc in git for libpolys/polys/shiftop.cc
- Timestamp:
- Jun 4, 2019, 2:33:32 PM (5 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- d4cec6ab781a81162945ff680935242fcccc952a
- Parents:
- 56ff8efc45f5392a6e465782a66a5df5a54180f01708fac9cfbd392cceea00167eaa2746d291cd98
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/polys/shiftop.cc
r1708fa rd906dc 13 13 * -> wait until the new interface is released 14 14 */ 15 #define SHIFT_MULT_COMPAT_MODE 15 /* #define SHIFT_MULT_COMPAT_MODE */ 16 16 17 17 #ifdef SHIFT_MULT_DEBUG … … 718 718 BOOLEAN _p_LPLmDivisibleByNoComp(poly a, poly b, const ring r) 719 719 { 720 if(p_LmIsConstantComp(a, r))721 return TRUE;722 720 #ifdef SHIFT_MULT_COMPAT_MODE 723 721 a = p_Head(a, r); … … 726 724 p_mLPunshift(b, r); 727 725 #endif 728 int i = (r->N / r->isLPring) - p_LastVblock(a, r); 729 do { 730 int j = r->N - (i * r->isLPring); 726 for (int i = (r->N / r->isLPring) - p_LastVblock(a, r); i >= 0; i--) 727 { 731 728 bool divisible = true; 732 do729 for (int j = r->N - (i * r->isLPring); j >= 0; j--) 733 730 { 734 731 if (p_GetExp(a, j, r) > p_GetExp(b, j + (i * r->isLPring), r)) … … 737 734 break; 738 735 } 739 j--; 740 } 741 while (j); 736 } 742 737 if (divisible) return TRUE; 743 i--; 744 } 745 while (i > -1); 738 } 746 739 #ifdef SHIFT_MULT_COMPAT_MODE 747 740 p_Delete(&a, r);
Note: See TracChangeset
for help on using the changeset viewer.