Changeset ed7a55c in git for Singular/LIB/finvar.lib


Ignore:
Timestamp:
May 4, 2011, 6:43:04 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
67803ecd35bc4dd74c768bc01e2b8fc76697c8b3
Parents:
1396fe648a0f4205e55e98d2dae5d30cb1b6163c
Message:
use div instead of /, part 3


git-svn-id: file:///usr/local/Singular/svn/trunk@14194 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/finvar.lib

    r1396fe red7a55c  
    481481  }
    482482  if (ch<>0)
    483   { if ((g/r)*r<>g)
     483  { if ((g div r)*r<>g)
    484484   { "ERROR:   <int> should divide the group order."
    485485      return();
     
    562562      M[1,2]=M[1,2]*p;
    563563      if (interval<>0)                 // canceling common terms of denominator
    564       { if ((j/interval)*interval==j or j==g) // and enumerator -
     564      { if ((j div interval)*interval==j or j==g) // and enumerator -
    565565        { s=matrix(syz(ideal(M)));     // once gcd() is faster than syz() these
    566566          M[1,1]=-s[2,1];              // three lines should be replaced by the
     
    712712        else
    713713        { if (interval<>0)             // canceling common terms of denominator
    714           { if ((i/interval)*interval==i or i==g) // and enumerator
     714          { if ((i div interval)*interval==i or i==g) // and enumerator
    715715            { s=matrix(syz(ideal(M))); // once gcd() is faster than syz()
    716716              M[1,1]=-s[2,1];          // these three lines should be
     
    831831      M[1,2]=M[1,2]*p;
    832832      if (interval<>0)                 // canceling common terms of denominator
    833       { if ((i/interval)*interval==i or i==g) // and enumerator
     833      { if ((i div interval)*interval==i or i==g) // and enumerator
    834834        {
    835835          s=matrix(syz(ideal(M)));     // once gcd() is faster than syz() these
     
    10811081        A(2)[1,2]=A(2)[1,2]*p;
    10821082        if (interval<>0)               // canceling common terms of denominator
    1083         { if ((i/interval)*interval==i) // and enumerator
     1083        { if ((i div interval)*interval==i) // and enumerator
    10841084          {
    10851085            s=matrix(syz(ideal(A(2)))); // once gcd() is faster than syz() these
     
    11271127          A(2)[1,2]=A(2)[1,2]*p;       // expanding A(2)[1,1]/A(2)[1,2] + 1/p -
    11281128          if (interval<>0)             // canceling common terms of denominator
    1129           { if ((g/interval)*interval==g) // and enumerator
     1129          { if ((g div interval)*interval==g) // and enumerator
    11301130            {
    11311131              s=matrix(syz(ideal(A(2)))); // once gcd() is faster than syz()
     
    11661166    }
    11671167    if (interval<>0)                   // canceling common terms of denominator
    1168     { if ((g/interval)*interval<>g)    // and enumerator
     1168    { if ((g div interval)*interval<>g)    // and enumerator
    11691169      {
    11701170        s=matrix(syz(ideal(A(2))));    // once gcd() is faster than syz()
     
    12901290        A(2)[1,2]=A(2)[1,2]*p;
    12911291        if (interval<>0)               // canceling common terms of denominator
    1292         { if ((i/interval)*interval==i) // and enumerator
     1292        { if ((i div interval)*interval==i) // and enumerator
    12931293          {
    12941294            s=matrix(syz(ideal(A(2)))); // once gcd() is faster than syz() these
     
    13491349          A(2)[1,2]=A(2)[1,2]*p;       // expanding A(2)[1,1]/A(2)[1,2] + 1/p -
    13501350          if (interval<>0)             // canceling common terms of denominator
    1351           { if ((g/interval)*interval==g) // and enumerator
     1351          { if ((g div interval)*interval==g) // and enumerator
    13521352            {
    13531353              s=matrix(syz(ideal(A(2)))); // once gcd() is faster than syz()
     
    13901390    }
    13911391    if (interval<>0)                   // canceling common terms of denominator
    1392     { if ((g/interval)*interval<>g)    // and enumerator
     1392    { if ((g div interval)*interval<>g)    // and enumerator
    13931393      {
    13941394        s=matrix(syz(ideal(A(2))));    // once gcd() is faster than syz()
     
    61916191  { max=max*deg(P[j]);
    61926192  }
    6193   max=max/nrows(REY);
     6193  max=max div nrows(REY);
    61946194  if (v)
    61956195  { "  We need to find ",max," secondary invariants.";
     
    64446444  { max=max*deg(P[j]);
    64456445  }
    6446   max=max/nrows(REY);
     6446  max=max div nrows(REY);
    64476447  if (v)
    64486448  { "  We need to find ",max," secondary invariants.";
Note: See TracChangeset for help on using the changeset viewer.