Changeset 54b516 in git
 Timestamp:
 Jul 17, 2020, 5:48:57 PM (4 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
 Children:
 3b1cda3853034c56d558fdc2e89453a9d4d7c14d
 Parents:
 97abdf65859c287ee9535a8a7ba44e0e9406bfe9
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

kernel/GBEngine/tgb_internal.h
r97abdf6 r54b516 66 66 #include "kernel/GBEngine/kInline.h" 67 67 #include "kernel/GBEngine/kstd1.h" 68 69 70 #define npNeg npNegM71 #define npInvers npInversM72 68 73 69 #include "coeffs/modulop_inl.h" // npInit, npMult … … 774 770 poly exp_diff=cache>temp_term; 775 771 p_ExpVectorDiff(exp_diff,t,c>strat>S[i],c>r); 776 p_SetCoeff(exp_diff,npNeg (npInvers(coefstrat,c>r>cf),c>r>cf),c>r);772 p_SetCoeff(exp_diff,npNegM(npInversM(coefstrat,c>r>cf),c>r>cf),c>r); 777 773 p_Setm(exp_diff,c>r); 778 774 assume(c>strat>S[i]!=NULL); … … 1572 1568 assume(!(npIsZero((number)(long) row_array[start],currRing>cf))); 1573 1569 if (!(npIsOne((number)(long) coef,currRing>cf))) 1574 multiplyRow(r,F4mat_to_number_type(npInvers ((number)(long) coef,currRing>cf)));1570 multiplyRow(r,F4mat_to_number_type(npInversM((number)(long) coef,currRing>cf))); 1575 1571 assume(npIsOne((number)(long) row_array[start],currRing>cf)); 1576 1572 int lastIndex=modP_lastIndexRow(row_array, ncols); … … 1585 1581 int i; 1586 1582 number_type* other_row_array=rows[other_row]; 1587 number coef2=npNeg ((number)(long) other_row_array[start],currRing>cf);1583 number coef2=npNegM((number)(long) other_row_array[start],currRing>cf); 1588 1584 if (coef2==minus_one) 1589 1585 { … … 1620 1616 int i; 1621 1617 number_type* other_row_array=rows[other_row]; 1622 number coef2=npNeg ((number)(long) other_row_array[start],currRing>cf);1618 number coef2=npNegM((number)(long) other_row_array[start],currRing>cf); 1623 1619 if (coef2==minus_one) 1624 1620 { … … 1779 1775 { 1780 1776 //it should be one, but this safety is not expensive 1781 multiplyRow(r, F4mat_to_number_type(npInvers ((number)(long) row_array[start],currRing>cf)));1777 multiplyRow(r, F4mat_to_number_type(npInversM((number)(long) row_array[start],currRing>cf))); 1782 1778 } 1783 1779 int lastIndex=modP_lastIndexRow(row_array, ncols); … … 1792 1788 { 1793 1789 number_type* other_row_array=rows[other_row]; 1794 number coef=npNeg ((number)(long) other_row_array[start],currRing>cf);1790 number coef=npNegM((number)(long) other_row_array[start],currRing>cf); 1795 1791 assume(!(npIsZero(coef,currRing>cf))); 1796 1792 int i; … … 1815 1811 { 1816 1812 number_type* other_row_array=rows[other_row]; 1817 number coef=npNeg ((number)(long) other_row_array[start],currRing>cf);1813 number coef=npNegM((number)(long) other_row_array[start],currRing>cf); 1818 1814 assume(!(npIsZero(coef,currRing>cf))); 1819 1815 int i;
Note: See TracChangeset
for help on using the changeset viewer.