Changeset 8e132d in git
- Timestamp:
- Feb 27, 2020, 2:32:06 PM (4 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 22c5aa2cd252c6263d00e025ca562af804079008
- Parents:
- ec0708752f1b91087c273c68f2c17b842db5a772
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/elim.lib
rec0708 r8e132d 725 725 NOTE: [1] is a standard basis in the basering 726 726 DISPLAY: saturation exponent during computation if printlevel >=1 727 KEYWORDS: Saturation 727 KEYWORDS: saturation 728 SEE ALSO: modSat 728 729 EXAMPLE: example sat; shows an example 729 730 "{ -
Singular/LIB/moddiq.lib
rec0708 r8e132d 50 50 ideal i=cyclic(6); 51 51 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); 52 53 modQuotient(i,modQuotient(i,j)); 53 54 } … … 158 159 NOTE: The procedure computes a standard basis of (I:J^\infty) (over the rational 159 160 numbers) by using modular methods. 161 KEYWORDS: saturation 160 162 SEE ALSO: modular; sat 161 163 EXAMPLE: example modSat; shows an example" … … 173 175 ideal i=cyclic(6); 174 176 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); 175 178 modSat(i,modSat(i,j)[1])[1]; 176 179 }
Note: See TracChangeset
for help on using the changeset viewer.