Changeset 4bde6b in git for Singular/LIB/resbinomial.lib


Ignore:
Timestamp:
May 15, 2020, 3:20:00 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
a1b40ab8675488c2a4f8e225d9d748ba70340727
Parents:
538e06d0809adf9f75fea000cf70d354bb674ab5
Message:
spelling p1
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/resbinomial.lib

    r538e06 r4bde6b  
    2323 maxEord(Coef,Exp,k,n,flag);        computes de maximum E-order of an ideal given by Coef and Exp
    2424 ECoef(Coef,expP,sP,V,auxc,n,flag); Computes a simplified version of the E-Coeff ideal. The E-orders are correct,
    25                                     but tranformations of coefficients of the generators and powers of binomials
     25                                    but transformations of coefficients of the generators and powers of binomials
    2626                                    cannot be computed easily in terms of lists.
    2727 elimrep(L);                        removes repeated terms from a list
    … …  
    132132proc identifyvar()
    133133"USAGE: identifyvar();
    134 COMPUTE: Asign 0 to variables x and 1 to variables y, only necessary at the beginning
     134COMPUTE: Assign 0 to variables x and 1 to variables y, only necessary at the beginning
    135135RETURN: list, say l, of size the dimension of the basering
    136136        l[i] is: 0 if the i-th variable is x(i),
    … …  
    158158proc data(ideal K,int k,int n)
    159159"USAGE: data(K,k,n); K any ideal, k integer (!=0), n integer (!=0)
    160 COMPUTE: Construcs a list with the coefficients and exponents of one ideal
     160COMPUTE: Constructs a list with the coefficients and exponents of one ideal
    161161RETURN: lists of coefficients and exponents of K
    162162EXAMPLE: example data; shows an example
    … …  
    719719        }
    720720
    721 // NOTE: coeficients of I = coeficients of J, because I and J differ in a monomial
     721// NOTE: coefficients of I = coefficients of J, because I and J differ in a monomial
    722722
    723723// Detecting errors, negative exponents in expI
    … …  
    10021002  LL[6];  // list of D_4,D_3,D_2,D_1
    10031003  LL[7];  // list of H_4,H_3,H_2,H_1 (exceptional divisors)
    1004   LL[8];  // list of all exceptional divisors acumulated
     1004  LL[8];  // list of all exceptional divisors accumulated
    10051005  LL[9];  // auxiliary invariant
    10061006  LL[10]; // intvec pointing out the last step where the function t has dropped
    … …  
    16531653
    16541654              idchart=idchart+1;}
    1655 else{     // OTHERWISE, CONTINUE CHEKING IF newI=0 or not
     1655else{     // OTHERWISE, CONTINUE CHECKING IF newI=0 or not
    16561656
    16571657Coef=extraL[1];
    … …  
    18421842// else{def r=basering;}   // CHECK THAT IS NECESSARY !!!
    18431843
    1844 // IF WE ARE IN POSTIVE CHAR
     1844// IF WE ARE IN POSITIVE CHAR
    18451845
    18461846if (p>0){list Lring=ringlist(basering);
    … …  
    26252625"USAGE: tradtoideal(a,J2,flag);
    26262626        a intvec, J2 ideal, flag list
    2627 COMPUTE: traslate to an ideal the intvec defining the center
     2627COMPUTE: translate to an ideal the intvec defining the center
    26282628RETURN: the ideal of the center, given by the intvec a, or J2 if a=0
    26292629EXAMPLE: example tradtoideal; shows an example
Note: See TracChangeset for help on using the changeset viewer.