Changeset bbf49b8 in git


Ignore:
Timestamp:
Jan 15, 2014, 4:49:05 PM (10 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
Children:
538c8cd688adf1bd3fa4ae496c26a69ae0abe8b1
Parents:
112fd151f309f96d3629bc82576ad75cef64eb2c
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-01-15 16:49:05+01:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-01-15 16:49:20+01:00
Message:
add data types to procedures, p3
Location:
Singular/LIB
Files:
14 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/JMBTest.lib

    r112fd15 rbbf49b8  
    533533}
    534534////////////////////////////////////////////////////////////////////
    535 proc FinalVm(list V1 , list G1 , r)
     535proc FinalVm(list V1 , list G1 ,def r)
    536536"USAGE:     FinalVm(V1, G1, r);  V1 list,  G1 list , r
    537537RETURN:   intvec: u
    … …  
    663663}
    664664////////////////////////////////////////////////////////////////////
    665 proc ConstructorMain(list G, int c,r)
     665proc ConstructorMain(list G, int c,def r)
    666666"USAGE:    Costruttore(G,c); G list, c int
    667667RETURN:   list: R
    … …  
    855855}
    856856////////////////////////////////////////////////////////////////////
    857 proc TestJMark(list G1,r)
     857proc TestJMark(list G1,def r)
    858858"USAGE:    TestJMark(G);  G list
    859859RETURN:    int: i

  • Singular/LIB/brnoeth.lib

    r112fd15 rbbf49b8  
    595595}
    596596///////////////////////////////////////////////////////////////////////////////
    597 static proc Frobenius (etwas,int r)
     597static proc Frobenius (def etwas,int r)
    598598{
    599599  // applies the Frobenius map over F_{p^r} to an object defined over an
    … …  
    762762}
    763763///////////////////////////////////////////////////////////////////////////////
    764 static proc subfield (sf)
     764static proc subfield (def sf)
    765765{
    766766  // writes the generator "a" of a subfield of the coefficients field of
    … …  
    858858}
    859859///////////////////////////////////////////////////////////////////////////////
    860 static proc importdatum (sf,string datum,string rel)
     860static proc importdatum (def sf,string datum,string rel)
    861861{
    862862  // fetchs a poly with name "datum" to the current basering from the ring sf
    … …  
    891891}
    892892///////////////////////////////////////////////////////////////////////////////
    893 static proc rationalize (lf,string datum,string rel)
     893static proc rationalize (def lf,string datum,string rel)
    894894{
    895895  // fetchs a poly with name "datum" to the current basering from the ring lf
    … …  
    17791779}
    17801780///////////////////////////////////////////////////////////////////////////////
    1781 static proc local_conductor (int k,SS)
     1781static proc local_conductor (int k,def SS)
    17821782{
    17831783  // computes the degree of the local conductor at a place of a plane curve

  • Singular/LIB/ncfactor.lib

    r112fd15 rbbf49b8  
    12391239//////////////////////////////////////////////////
    12401240
    1241 static proc checkForHomogInhomogInterchangability(list factors, posLeft, posRight)
     1241static proc checkForHomogInhomogInterchangability(list factors,int posLeft,int posRight)
    12421242"
    12431243INPUT:  A list consisting of factors of a certain polynomial in the first Weyl
    … …  
    30463046//the two arguments, which are also given by the user.
    30473047
    3048 proc facSubWeyl(poly h, X, D)
    3049 "USAGE:  facSubWeyl(h,x,y); h, X, D polynomials
     3048proc facSubWeyl(poly h, def X, def D)
     3049"USAGE:  facSubWeyl(h,x,D); h, X, D polynomials
    30503050RETURN: list
    30513051ASSUME: X and D are variables of a basering, which satisfy DX = XD +1.
    … …  
    35303530}//combineNonnegative
    35313531
    3532 static proc fromWeylToShiftPoly(poly h, sAlgebra)
     3532static proc fromWeylToShiftPoly(poly h,def sAlgebra)
    35333533"
    35343534USAGE: Given a polynomial in the first Weyl algebra, this method returns it -- if possible --

  • Singular/LIB/nctools.lib

    r112fd15 rbbf49b8  
    192192// This procedure computes ei+ej-f with f running in Newton(pij) and deletes the zero rows
    193193
    194 static proc Cij(intmat M, int i,j)
     194static proc Cij(intmat M, int i,int j)
    195195{
    196196  M=(-1)*M;

  • Singular/LIB/normaliz.lib

    r112fd15 rbbf49b8  
    818818
    819819
    820 static proc runNormaliz(intmat sgr,nmz_mode, list #)
     820static proc runNormaliz(intmat sgr,def nmz_mode, list #)
    821821{
    822822    if(!queryInt("nmz_files_keep_switch"))

  • Singular/LIB/phindex.lib

    r112fd15 rbbf49b8  
    2828
    2929/////////////////////////////////////////////////////////////////////////////
    30 proc signatureL(M,int #)
     30proc signatureL(matrix M,int #)
    3131"USAGE:    signatureL(M[,r]); M symmetric matrix, r int (optional).
    3232RETURN:   the signature of M of type int or if r is given and !=0 then
    … …  
    9696}
    9797////////////////////////////////////////////////////////////////////////
    98 proc signatureLqf(h,int #)
     98proc signatureLqf(poly h,int #)
    9999"USAGE:    signatureLqf(h); h quadratic form (poly type).
    100100RETURN:   the signature of h of type int or if r is given and !=0 then
    … …  
    224224}
    225225/////////////////////////////////////////////////////////////////////////////
    226 proc PH_ais(I)
     226proc PH_ais(def I)
    227227"USAGE:    PH_ais(I); I ideal of coordinates of the vector field.
    228228RETURN:   the Poincare-Hopf index of type int.
    … …  
    347347}
    348348///////////////////////////////////////////////////////////////////////////
    349 proc PH_nais(I)
     349proc PH_nais(def I)
    350350"USAGE:    PH_nais(I); I ideal of coordinates of the vector field.
    351351RETURN:   the Poincare-Hopf index of type int.

  • Singular/LIB/pointid.lib

    r112fd15 rbbf49b8  
    5050////////////////////////////////////////////////////////////////////////////////
    5151
    52 static proc subst1(id, int m)
     52static proc subst1(def id, int m)
    5353{
    5454//id = poly/ideal/list, substitute the first m variables occuring in id by 1
    … …  
    7979////////////////////////////////////////////////////////////////////////////////
    8080
    81 proc nonMonomials(id)
     81proc nonMonomials(def id)
    8282"USAGE:  nonMonomials(id); id = <list of vectors> or <list of lists> or <module>
    8383         or <matrix>.@*
    … …  
    378378////////////////////////////////////////////////////////////////////////////////
    379379
    380 proc facGBIdeal(id)
     380proc facGBIdeal(def id)
    381381"USAGE:  facGBIdeal(id); id = <list of vectors> or <list of lists> or <module>
    382382         or <matrix>.@*

  • Singular/LIB/poly.lib

    r112fd15 rbbf49b8  
    9292
    9393///////////////////////////////////////////////////////////////////////////////
    94 proc substitute (I,list #)
     94proc substitute (def I,list #)
    9595"USAGE:  - case 1: typeof(#[1])==poly:
    9696           substitute (I,v,f[,v1,f1,v2,f2,...]); I object of basering which
    … …  
    381381///////////////////////////////////////////////////////////////////////////////
    382382
    383 proc maxcoef (f)
     383proc maxcoef (def f)
    384384"USAGE:   maxcoef(f);  f  poly/ideal/vector/module/matrix
    385385RETURN:  maximal length of coefficient of f of type int (by measuring the
    … …  
    418418///////////////////////////////////////////////////////////////////////////////
    419419
    420 proc maxdeg (id)
     420proc maxdeg (def id)
    421421"USAGE:   maxdeg(id);  id  poly/ideal/vector/module/matrix
    422422RETURN:  int/intmat, each component equals maximal degree of monomials in the
    … …  
    553553///////////////////////////////////////////////////////////////////////////////
    554554
    555 proc mindeg (id)
     555proc mindeg (def id)
    556556"USAGE:   mindeg(id);  id  poly/ideal/vector/module/matrix
    557557RETURN:  minimal degree/s of monomials of id, independent of ring ordering
    … …  
    606606///////////////////////////////////////////////////////////////////////////////
    607607
    608 proc mindeg1 (id, list #)
     608proc mindeg1 (def id, list #)
    609609"USAGE:   mindeg1(id[,v]);  id=poly/ideal/vector/module/matrix, v=intvec
    610610RETURN:  integer, minimal [weighted] degree of monomials of id independent of
    … …  
    687687///////////////////////////////////////////////////////////////////////////////
    688688
    689 proc normalize (id)
     689proc normalize (def id)
    690690"USAGE:   normalize(id);  id=poly/vector/ideal/module
    691691RETURN:  object of same type
    … …  
    769769///////////////////////////////////////////////////////////////////////////////
    770770
    771 proc lcm (id, list #)
     771proc lcm (def id, list #)
    772772"USAGE:   lcm(p[,q]); p int/intvec q a list of integers or
    773773          p poly/ideal q a list of polynomials
    … …  
    886886///////////////////////////////////////////////////////////////////////////////
    887887
    888 proc content(f)
     888proc content(def f)
    889889"USAGE:   content(f); f polynomial/vector
    890890RETURN:  number, the content (greatest common factor of coefficients)

  • Singular/LIB/polybori.lib

    r112fd15 rbbf49b8  
    256256// converts a Singular ring into a Boolean ring
    257257
    258 proc ring2bring(r)
     258proc ring2bring(def r)
    259259{
    260260  bring rb;
    … …  
    315315
    316316// look up whether we cached this conversion before
    317 static proc bring_from_cache(r)
     317static proc bring_from_cache(def r)
    318318{
    319319  bring_mark_cache();
    … …  
    324324
    325325// insert computed result into cache
    326 static proc bring_to_cache(r, pyobject newring)
     326static proc bring_to_cache(def r, pyobject newring)
    327327{
    328328  def value = WeakRingRef(newring);
    … …  
    333333// converts a Singular ring into a python ring
    334334
    335 proc boolean_poly_ring(r)
     335proc boolean_poly_ring(def r)
    336336{
    337337  def cached = bring_from_cache(r);
    … …  
    396396// checks the equality of two bpolys
    397397
    398 proc bpoly_check(bpoly pb1, pb2)
     398proc bpoly_check(bpoly pb1,bpoly pb2)
    399399{
    400400  return(pb1.boolpoly==pb2.boolpoly);
    … …  
    404404// computes the multiplication of two bpolys
    405405
    406 proc bpoly_mult(bpoly pb1, pb2)
     406proc bpoly_mult(bpoly pb1,bpoly pb2)
    407407{
    408408  bpoly bpol;

  • Singular/LIB/presolve.lib

    r112fd15 rbbf49b8  
    3131LIB "elim.lib";
    3232///////////////////////////////////////////////////////////////////////////////
    33 proc shortid (id,int n,list #)
     33proc shortid (def id,int n,list #)
    3434"USAGE:   shortid(id,n[,e]); id= ideal/module, n,e=integers
    3535RETURN:  - if called with two arguments or e=0:
    … …  
    8686///////////////////////////////////////////////////////////////////////////////
    8787
    88 proc degreepart (id,int d1,int d2,list #)
     88proc degreepart (def id,int d1,int d2,list #)
    8989"USAGE:   degreepart(id,d1,d2[,v]);  id=ideal/module, d1,d1=integers, v=intvec
    9090RETURN:  list of size 2,
    … …  
    142142///////////////////////////////////////////////////////////////////////////////
    143143
    144 proc linearpart (id)
     144proc linearpart (def id)
    145145"USAGE:   linearpart(id);  id=ideal/module
    146146RETURN:  list of size 2,
    … …  
    666666///////////////////////////////////////////////////////////////////////////////
    667667
    668 proc faststd (@id, list #)
     668proc faststd (def @id, list #)
    669669"USAGE:   faststd(id [,\"hilb\",\"sort\",\"dec\",o,\"blocks\"]);
    670670         id=ideal/module, o=string (allowed:\"lp\",\"dp\",\"Dp\",\"ls\",
    … …  
    836836///////////////////////////////////////////////////////////////////////////////
    837837
    838 proc findvars(id, list #)
     838proc findvars(def id, list #)
    839839"USAGE:   findvars(id [,any] ); id=poly/ideal/vector/module/matrix, any=any type
    840840RETURN:  if no second argument is present: ideal of variables occuring in id,@*
    … …  
    885885///////////////////////////////////////////////////////////////////////////////
    886886
    887 proc hilbvec (@id, list #)
     887proc hilbvec (def @id, list #)
    888888"USAGE:   hilbvec(id[,c,o]); id=poly/ideal/vector/module/matrix, c,o=strings,@*
    889889          c=char, o=ordering used by @code{hilb} (default: c=\"32003\", o=\"dp\")
    … …  
    916916///////////////////////////////////////////////////////////////////////////////
    917917
    918 proc tolessvars (id ,list #)
     918proc tolessvars (def id ,list #)
    919919"USAGE:   tolessvars(id [,s1,s2] ); id poly/ideal/vector/module/matrix,
    920920          s1=string (new ordering)@*
    … …  
    983983///////////////////////////////////////////////////////////////////////////////
    984984
    985 proc solvelinearpart (id,list #)
     985proc solvelinearpart (def id,list #)
    986986"USAGE:   solvelinearpart(id [,n] );  id=ideal/module, n=integer (default: n=0)
    987987RETURN:  (interreduced) generators of id of degree <=1 in reduced triangular
    … …  
    10321032///////////////////////////////////////////////////////////////////////////////
    10331033
    1034 proc sortandmap (@id, list #)
     1034proc sortandmap (def @id, list #)
    10351035"USAGE:   sortandmap(id [,n1,p1,n2,p2...,o1,m1,o2,m2...]);@*
    10361036         id=poly/ideal/vector/module,@*
    … …  
    11281128///////////////////////////////////////////////////////////////////////////////
    11291129
    1130 proc sortvars (id, list #)
     1130proc sortvars (def id, list #)
    11311131"USAGE:   sortvars(id[,n1,p1,n2,p2,...]);@*
    11321132         id=poly/ideal/vector/module,@*
    … …  
    11901190///////////////////////////////////////////////////////////////////////////////
    11911191
    1192 proc valvars (id, list #)
     1192proc valvars (def id, list #)
    11931193"USAGE:   valvars(id[,n1,p1,n2,p2,...]);@*
    11941194         id=poly/ideal/vector/module,@*

  • Singular/LIB/qhmoduli.lib

    r112fd15 rbbf49b8  
    643643///////////////////////////////////////////////////////////////////////////////
    644644static
    645 proc ArnoldFormMain(poly f, B, poly Fs, ideal reduceIdeal, int nrs, int nrt)
     645proc ArnoldFormMain(poly f,def B, poly Fs, ideal reduceIdeal, int nrs, int nrt)
    646646"USAGE:   ArnoldFormMain(f, B, Fs, rI, nrs, nrt);
    647647   poly f,Fs; ideal B, rI; int nrs, nrt
    … …  
    733733///////////////////////////////////////////////////////////////////////////////
    734734
    735 static proc MonosAndTerms(poly f, wt, int ub)
     735static proc MonosAndTerms(poly f,def wt, int ub)
    736736"USAGE:   MonosAndTerms(f, w, ub); poly f, intvec w, int ub
    737737PURPOSE: returns a list of all monomials and terms occuring in f of
    … …  
    771771///////////////////////////////////////////////////////////////////////////////
    772772
    773 static proc SelectMonos(parts, intvec wt, int d)
     773static proc SelectMonos(def parts, intvec wt, int d)
    774774"USAGE:   SelectMonos(parts, w, d); list/ideal parts, intvec w, int d
    775775PURPOSE: returns a list of all monomials and terms occuring in f of
    … …  
    808808///////////////////////////////////////////////////////////////////////////////
    809809
    810 static proc Expand(substitution, degVec, ideal reduceI, intvec w1, int ub, list truncated)
     810static proc Expand(def substitution,def degVec, ideal reduceI, intvec w1, int ub, list truncated)
    811811"USAGE:   Expand(substitution, degVec, reduceI, w, ub, truncated);
    812812         ideal/list substitution, list/intvec degVec, ideal reduceI, intvec w,
    … …  
    14551455///////////////////////////////////////////////////////////////////////////////
    14561456
    1457 static proc FirstEntryQHM(data, elem)
     1457static proc FirstEntryQHM(def data,def elem)
    14581458// Type : int
    14591459// Purpose : position of first entry equal to elem in data (from left to right)
    … …  
    14731473///////////////////////////////////////////////////////////////////////////////
    14741474
    1475 static proc PSum(e)
     1475static proc PSum(def e)
    14761476{
    14771477  poly f;
    … …  
    14851485///////////////////////////////////////////////////////////////////////////////
    14861486
    1487 proc Max(data)
     1487proc Max(def data)
    14881488"USAGE:   Max(data); intvec/list of integers
    14891489PURPOSE: find the maximal integer contained in 'data'
    … …  
    15081508///////////////////////////////////////////////////////////////////////////////
    15091509
    1510 proc Min(data)
     1510proc Min(def data)
    15111511"USAGE:   Min(data); intvec/list of integers
    15121512PURPOSE: find the minimal integer contained in 'data'

  • Singular/LIB/qmatrix.lib

    r112fd15 rbbf49b8  
    279279// n is the order of the quantum matrix algebra where we are working.
    280280
    281 static proc itoij(int i, n)
     281static proc itoij(int i,int n)
    282282{
    283283  intvec ij=0,0;
    … …  
    287287}
    288288
    289 static proc ijtoi(int i, j, n)
     289static proc ijtoi(int i,int j,int n)
    290290{
    291291  return((j-1)+n*(i-1)+1);

  • Singular/LIB/random.lib

    r112fd15 rbbf49b8  
    2626///////////////////////////////////////////////////////////////////////////////
    2727
    28 proc genericid (id, list #)
     28proc genericid (def id, list #)
    2929"USAGE:   genericid(id[,p,b]);  id ideal/module, p,b integers
    3030RETURN:  system of generators of id which are generic, sparse, triagonal linear
    … …  
    5454///////////////////////////////////////////////////////////////////////////////
    5555
    56 proc randomid (id, list #)
     56proc randomid (def id, list #)
    5757"USAGE:   randomid(id[,k,b]);  id ideal/module, b,k integers
    5858RETURN:  ideal/module having k generators which are random linear combinations

  • Singular/LIB/redcgs.lib

    r112fd15 rbbf49b8  
    249249}
    250250
    251 proc memberpos(f,J)
     251proc memberpos(def f,def J)
    252252"USAGE:  memberpos(f,J);
    253253         (f,J) expected (polynomial,ideal)
    … …  
    373373
    374374
    375 proc subset(J,K)
     375proc subset(def J,def K)
    376376"USAGE:   subset(J,K);
    377377          (J,K)  expected (ideal,ideal)
    … …  
    31323132
    31333133// gives the first child of vertex fu
    3134 proc firstchild(labfu)
     3134proc firstchild(def labfu)
    31353135{
    31363136  intvec labfu0=labfu;
    … …  
    35693569// input:  poly f
    35703570// output  1 if f is homogeneous, 0 if not
    3571 proc ishomog(f)
     3571proc ishomog(def f)
    35723572{
    35733573  int i; poly r; int d; int dr;
Note: See TracChangeset for help on using the changeset viewer.