Changeset 3754ca in git for Singular/LIB/sing.lib
- Timestamp:
- Apr 15, 2009, 1:28:08 PM (15 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- a6606e6cba9689ecbcc4e27ac00fb8c1deabd128
- Parents:
- 40c648539a84cb2dc36e46b6b6c84deeb21e393b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/sing.lib
r40c648 r3754ca 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: sing.lib,v 1.3 3 2009-02-23 15:12:44 SingularExp $";2 version="$Id: sing.lib,v 1.34 2009-04-15 11:15:56 seelisch Exp $"; 3 3 category="Singularities"; 4 4 info=" … … 11 11 deform(i); infinitesimal deformations of ideal i 12 12 dim_slocus(i); dimension of singular locus of ideal i 13 is_active(f,id); is poly f an active element mod id? (id ideal/module)13 is_active(f,id); is polynomial f an active element mod id? (id ideal/module) 14 14 is_ci(i); is ideal i a complete intersection? 15 15 is_is(i); is ideal i an isolated singularity? 16 is_reg(f,id); is poly f a regular element mod id? (id ideal/module)16 is_reg(f,id); is polynomial f a regular element mod id? (id ideal/module) 17 17 is_regs(i[,id]); are gen's of ideal i regular sequence modulo id? 18 18 locstd(i); SB for local degree ordering without cancelling units … … 977 977 RETURN: a standard basis for a local degree ordering 978 978 NOTE: the procedure homogenizes id w.r.t. a new 1st variable @t@, computes 979 a SB w rt(dp(1),dp) and substitutes @t@ by 1.979 a SB w.r.t. (dp(1),dp) and substitutes @t@ by 1. 980 980 Hence the result is a SB with respect to an ordering which sorts 981 981 first w.r.t. the order and then refines it with dp. This is a
Note: See TracChangeset
for help on using the changeset viewer.