Changeset 8675b0 in git
- Timestamp:
- Feb 6, 2001, 12:30:28 PM (23 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 1f9258961f64b1b13f7a71278da36f67228bede4
- Parents:
- a38e2334a300ec3a7259fdc32f565393c89d87dc
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/deform.lib
ra38e233 r8675b0 1 // $Id: deform.lib,v 1.2 4 2001-01-16 13:48:24 SingularExp $1 // $Id: deform.lib,v 1.25 2001-02-06 11:30:28 anne Exp $ 2 2 // author: Bernd Martin email: martin@math.tu-cottbus.de 3 3 //(bm, last modified 4/98) 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: deform.lib,v 1.2 4 2001-01-16 13:48:24 SingularExp $";5 version="$Id: deform.lib,v 1.25 2001-02-06 11:30:28 anne Exp $"; 6 6 category="Singularities"; 7 7 info=" … … 29 29 CREATE: Rings (exported): 30 30 'my'Px = extending the basering Po by new variables given by 31 \"A,B,..\" (deformation parameters), returns as basering ,the32 new variables come before the old ones, the ordering is the31 \"A,B,..\" (deformation parameters), returns as basering; the 32 new variables precede the old ones, the ordering is the 33 33 product between \"ls\" and \"ord(Po)\" 34 34 @*'my'Qx = Px/Fo extending Qo=Po/Fo, 35 @*'my'So = beingthe embedding-ring of the versal base space,35 @*'my'So = the embedding-ring of the versal base space, 36 36 @*'my'Ox = Px/Js extending So/Js. (default my=\"\") 37 37 … … 300 300 CREATE: Ringsr (exported): 301 301 'my'Px = extending the basering by new variables (deformation 302 parameters), the new variables come before the old ones,302 parameters), the new variables precede the old ones, 303 303 the ordering is the product between \"my_ord\" 304 304 and \"ord(Po)\" … … 708 708 N, M modules of same rank, M depending only on variables not in p 709 709 and vdim(M) is finite in this ring, 710 [ kbaseM the kbase of M in the subring given by variables not in p ] 711 warning: these assum tions are not checked by the procedure712 RETURN: matrix A, whose j-th column es present the coeff's of N[j] in kbaseM,710 [ kbaseM the kbase of M in the subring given by variables not in p ] @* 711 warning: these assumptions are not checked by the procedure 712 RETURN: matrix A, whose j-th columns present the coeff's of N[j] in kbaseM, 713 713 i.e. kbaseM*A = reduce(N,std(M)) 714 714 EXAMPLE: example lift_rel_kb; shows examples
Note: See TracChangeset
for help on using the changeset viewer.