Changeset 8e132d in git


Ignore:
Timestamp:
Feb 27, 2020, 2:32:06 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
22c5aa2cd252c6263d00e025ca562af804079008
Parents:
ec0708752f1b91087c273c68f2c17b842db5a772
Message:
moddiq.lib: ref, keywords, examples
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/elim.lib

    rec0708 r8e132d  
    725725NOTE:    [1] is a standard basis in the basering
    726726DISPLAY: saturation exponent during computation if printlevel >=1
    727 KEYWORDS: Saturation
     727KEYWORDS: saturation
     728SEE ALSO: modSat
    728729EXAMPLE: example sat; shows an example
    729730"{
  • Singular/LIB/moddiq.lib

    rec0708 r8e132d  
    5050    ideal i=cyclic(6);
    5151    ideal j=-15*var(5)+16*var(6)^3-60*var(6)^2+225*var(6)-4,2*var(5)^2-7*var(5)+2*var(6)^2-7*var(6)+28,(4*var(6)-1)*var(5)-var(6)+4,4*var(1)+var(5)+var(6),4*var(2)+var(5)+var(6),4*var(3)+var(5)+var(6),4*var(4)+var(5)+var(6);
     52    modQuotient(i,j);
    5253    modQuotient(i,modQuotient(i,j));
    5354}
     
    158159NOTE:     The procedure computes a standard basis of (I:J^\infty) (over the rational
    159160          numbers) by using modular methods.
     161KEYWORDS: saturation
    160162SEE ALSO: modular; sat
    161163EXAMPLE:  example modSat; shows an example"
     
    173175    ideal i=cyclic(6);
    174176    ideal j=-15*var(5)+16*var(6)^3-60*var(6)^2+225*var(6)-4,2*var(5)^2-7*var(5)+2*var(6)^2-7*var(6)+28,(4*var(6)-1)*var(5)-var(6)+4,4*var(1)+var(5)+var(6),4*var(2)+var(5)+var(6),4*var(3)+var(5)+var(6),4*var(4)+var(5)+var(6);
     177    modSat(i,j);
    175178    modSat(i,modSat(i,j)[1])[1];
    176179}
Note: See TracChangeset for help on using the changeset viewer.