Changeset 591e530 in git for Singular/LIB/normal.lib
 Timestamp:
 Mar 3, 2010, 4:24:49 PM (14 years ago)
 Branches:
 (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
 Children:
 be7ab3f4ba9a8e5580fa3a661c99d768af9c1253
 Parents:
 279597d67431ed2b797482b0d13c8c270a776b43
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/normal.lib
r279597 r591e530 41 41 42 42 proc normal(ideal id, list #) 43 "USAGE: normal(id [,choose]); id = radical ideal, choose = optional string. @* 43 "USAGE: normal(id [,choose]); id = radical ideal, choose = list of optional 44 strings. @* 44 45 Optional parameters in list choose (can be entered in any order):@* 45 46 Decomposition:@* … … 62 63 all computations with respect to this ordering.@* 63 64  \"withDelta\" (or \"wd\") > returns also the delta invariants.@* 64 If choose is not given or empty, only \"equidim\" but no other option65 is used.65 If the optional parameter choose is not given or empty, only 66 \"equidim\" but no other option is used. 66 67 ASSUME: The ideal must be radical, for nonradical ideals the output may 67 68 be wrong (id=radical(id); makes id radical). However, when using the … … 3329 3330 3330 3331 proc normalP(ideal id,list #) 3331 "USAGE: normalP(id [,choose]); id = radical ideal, = optional string. 3332 "USAGE: normalP(id [,choose]); id = radical ideal, choose = optional list of 3333 strings. 3332 3334 Optional parameters in list choose (can be entered in any order):@* 3333 list of optional strings \"withRing\", \"isPrim\", \"noFac\", 3334 \"noRed\", where@* 3335 \"withRing\", \"isPrim\", \"noFac\", \"noRed\", where@* 3335 3336  \"noFac\" > factorization is avoided during the computation 3336 3337 of the minimal associated primes.@* … … 3345 3346 ASSUME: The characteristic of the ground field must be positive. If the 3346 3347 option \"isPrim\" is not set, the minimal associated primes of id 3347 are computed first and hence normal computes the normalization of3348 are computed first and hence normalP computes the normalization of 3348 3349 the radical of id. If option \"isPrim\" is set, the ideal must be 3349 3350 a prime ideal otherwise the result may be wrong. … … 3390 3391 @* If the input ideal id is weighted homogeneous a weighted ordering may 3391 3392 be used (qhweight(id); computes weights). 3392 @* Works only in characteristic p > 0 ,use proc normal in char 0.3393 @* Works only in characteristic p > 0; use proc normal in char 0. 3393 3394 KEYWORDS: normalization; integral closure; delta invariant. 3394 3395 SEE ALSO: normal, normalC … … 3686 3687 { "iteration", ii; } 3687 3688 L = U*Dp + I; 3688 //### L=interred(L) oder ms dt(L)[2]?3689 //### L=interred(L) oder mstd(L)[2]? 3689 3690 //Wird dadurch kleiner aber string(L) wird groesser 3690 3691 K = preimage(Q,phi,L); //### Improvement by block ordering? … … 3906 3907 if(c==1) 3907 3908 { 3908 if( defined(norid) ) { kill norid; } 3909 if( defined(normap) ) { kill normap; } 3910 ideal norid = I; 3911 ideal normap = maxid; 3909 /* if( defined(norid) ) { kill norid; } 3910 if( defined(normap) ) { kill normap; } 3911 ideal norid = I; 3912 ideal normap = maxid; */ 3913 3914 list gnirlist = ringlist(R); 3915 def R1 = ring(gnirlist); 3916 setring R1; 3917 ideal norid = imap(R, I); 3918 ideal normap = imap(R, maxid); 3912 3919 export norid; 3913 3920 export normap; 3921 3914 3922 if(noRed == 1){ 3915 3923 setring R; 3916 return(R );3924 return(R1); 3917 3925 } else { 3918 3926 list L = substpartSpecial(norid,normap); … … 5145 5153 5146 5154 proc normalC(ideal id, list #) 5147 "USAGE: normalC(id [,choose]); id = radical ideal, choose = optional string. 5155 "USAGE: normalC(id [,choose]); id = radical ideal, choose = optional list 5156 of string. 5148 5157 Optional parameters in list choose (can be entered in any order):@* 5149 5158 Decomposition:@*
Note: See TracChangeset
for help on using the changeset viewer.