Changeset 77352a in git


Ignore:
Timestamp:
Dec 6, 2010, 12:25:31 PM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc22d02675885785e1818dd2f838cdc17aaa11ec')
Children:
78f84b8c0284047769d76f72dbef04a9d0f1e157
Parents:
beacf7a2b0bfee579f42ba7cd5a4be39dffc3c5a
Message:
some format fixes

git-svn-id: file:///usr/local/Singular/svn/trunk@13731 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular/LIB
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/involut.lib

    rbeacf7a r77352a  
    387387      {
    388388        s = s+ ","+NVAR(i,j);
    389       };
    390     };
    391   };
     389      }
     390    }
     391  }
    392392  return(s);
    393 };
     393}
    394394
    395395static proc NVAR(int i, int j)
     
    397397  //  return("@_"+string(i)+"_"+string(j));
    398398  return("a"+string(i)+string(j));
    399 };
     399}
    400400///////////////////////////////////////////////////////////////////////////////////
    401401static proc new_var_special()
     
    409409  {
    410410    s = s+ ","+NVAR(i,i);
    411   };
     411  }
    412412  return(s);
    413 };
     413}
    414414///////////////////////////////////////////////////////////////////////////////////
    415415static proc RelMatr()
     
    425425    {
    426426      Rel[i,j]=var(j)*var(i)-var(i)*var(j);
    427     };
    428   };
     427    }
     428  }
    429429  return(Rel);
    430 };
     430}
    431431/////////////////////////////////////////////////////////////////
    432432proc findInvo()
     
    466466  {
    467467     execute("ring @@@KK=(0,"+Par+") ,("+varstr(@B)+","+@ss+"), dp;");//new ring with new variables
    468   };
     468  }
    469469
    470470  matrix Rel = imap(@B, Rel); //consider the matrix of relations in new ring
     
    479479    {
    480480      M[i,j] = Rel[i,j];
    481     };
    482   };
     481    }
     482  }
    483483
    484484  def @@K = nc_algebra(1, M); setring @@K; //now new ring @@K become a noncommutative ring
     
    492492    {
    493493      execute( "@@F = @@F+"+NVAR(i,j)+"*"+string( var(j) )+";" );
    494     };
     494    }
    495495    l=l+list(@@F);
    496   };
     496  }
    497497
    498498  matrix N = imap(@@@KK,Rel);
     
    503503    {
    504504      N[i,j]= l[j]*l[i] - l[i]*l[j] + In_Poly( N[i,j], l, NVars);
    505     };
    506   };
     505    }
     506  }
    507507  kill l;
    508508  //---------------------------------------------
     
    514514  {
    515515    J = ideal( coeffs( J, var(i) ) );
    516   };
     516  }
    517517  J = simplify(J,2);
    518518  //-------------------------------------------------
     
    524524  {
    525525    execute("ring @@KK=(0,"+Par+"),("+@ss+"), dp;");
    526   };
     526  }
    527527  ideal J = imap(@@K,J); // ideal, considered in @@KK now
    528528  string snv = "["+string(NVars)+"]";
     
    604604  {
    605605    execute("ring @@@KK=(0,"+Par+") ,("+varstr(@B)+","+@ss+"), dp;");//new ring with new variables
    606   };
     606  }
    607607
    608608  matrix Rel = imap(@B, Rel); //consider the matrix of relations in new ring
     
    616616    {
    617617      M[i,j] = Rel[i,j];
    618     };
    619   };
     618    }
     619  }
    620620
    621621  def @@K = nc_algebra(1, M); setring @@K; //now new ring @@K become a noncommutative ring
     
    627627    execute( "l["+string(i)+"]="+NVAR(i,i)+"*"+string( var(i) )+";" );
    628628
    629   };
     629  }
    630630  matrix N = imap(@@@KK,Rel);
    631631
     
    635635    {
    636636      N[i,j]= l[j]*l[i] - l[i]*l[j] + In_Poly( N[i,j], l, NVars);
    637     };
    638   };
     637    }
     638  }
    639639  kill l;
    640640  //---------------------------------------------
     
    647647  {
    648648    J = ideal( coeffs( J, var(i) ) );
    649   };
     649  }
    650650  J = simplify(J,2);
    651651  //-------------------------------------------------
     
    658658  {
    659659    execute("ring @@KK=(0,"+Par+"),("+@ss+"), dp;");
    660   };
     660  }
    661661
    662662  ideal J = imap(@@K,J); // ideal, considered in @@KK now
     
    666666  {
    667667    execute("@@D["+string(i)+","+string(i)+"]="+NVAR(i,i)+";");
    668   };
     668  }
    669669  J = J, ideal( @@D*@@D - matrix( freemodule(NVars) ) ); // add the condition that involution to square is just identity
    670670  J = simplify(J,2); // without extra zeros
     
    754754  {
    755755     execute("ring @@@K=(0,"+Par+") ,("+varstr(@B)+","+@ss+"), dp;");//new ring with new variables
    756   };
     756  }
    757757
    758758  matrix Rel = imap(@B, Rel); //consider the matrix of relations in new ring
     
    767767    {
    768768      M[i,j] = Rel[i,j];
    769     };
    770   };
     769    }
     770  }
    771771
    772772  def @@K = nc_algebra(1, M); setring @@K; //now new ring @@K become a noncommutative ring
     
    780780    {
    781781      execute( "@@F = @@F+"+NVAR(i,j)+"*"+string( var(j) )+";" );
    782     };
     782    }
    783783    l=l+list(@@F);
    784   };
     784  }
    785785
    786786  matrix N = imap(@@@K,Rel);
     
    791791    {
    792792      N[i,j]= l[j]*l[i] - l[i]*l[j] - Hom_Poly( N[i,j], l, NVars);
    793     };
    794   };
     793    }
     794  }
    795795  kill l;
    796796  //---------------------------------------------
     
    802802  {
    803803    J = ideal( coeffs( J, var(i) ) );
    804   };
     804  }
    805805  J = simplify(J,2);
    806806  //-------------------------------------------------
     
    816816  {
    817817    execute("ring @@KK=(0,"+Par+"),("+@ss+"), dp;");
    818   };
     818  }
    819819  //  execute("setring @@KK;");
    820820  //  basering;
     
    892892"
    893893{
    894   // assumes: 
     894  // assumes:
    895895  // (1) F is from br to br
    896896  // I don't see how to check it; in case of error it will happen in the body
     
    899899  int i,j;
    900900  poly pi,pj,q;
    901   int answer=1; 
     901  int answer=1;
    902902  ideal @f = ideal(F); list L=@f[1..ncols(@f)];
    903903  for (i=1; i<n; i++)
     
    912912      if (q!=0)
    913913      {
    914         answer=0; return(answer);
     914        answer=0; return(answer);
    915915      }
    916916    }
     
    927927  map K = A,f,e,-h; // not antiendo
    928928  isAntiEndo(K);
    929 };
     929}
    930930
    931931
     
    972972  map K = A,f,e,-h; // not antiauto
    973973  isInvolution(K);
    974 };
    975 
    976 
     974}
  • Singular/LIB/nctools.lib

    rbeacf7a r77352a  
    17911791  int i, j;
    17921792
    1793   int answer = 1; 
     1793  int answer = 1;
    17941794
    17951795  // check basering is of Lie type:
     
    18001800    {
    18011801      @@CC[i,j]=leadcoef(var(j)*var(i));
    1802     };
    1803   };
     1802    }
     1803  }
    18041804  ideal @C@ = simplify(ideal(@@CC),2+4);// skip zeroes and repeated entries
    18051805  if (  (size(@C@) >1 ) || ( (size(@C@)==1) && (@C@[1]!=1) )  )
    18061806  {
    18071807    answer = 0;
    1808   };
     1808  }
    18091809  return(answer);
    18101810}
Note: See TracChangeset for help on using the changeset viewer.