Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
junaid [2021/02/07 16:39] – created - external edit 127.0.0.1 | junaid [2023/02/23 17:55] – [Procedure to classify the stably simple curve singularities] Dr. Atiq ur Rehman | ||
---|---|---|---|
Line 13: | Line 13: | ||
{{ : | {{ : | ||
+ | |||
+ | ==== Procedure to Compute Sasbi-Standard Bases==== | ||
+ | Let A=B_> be a localization of polynomial subalgebra B with respect to a local monomial ordering >. For a polynomial vector f in (R_>)^n (R_> is a localization of ring R with respect to >) and a finite set of polynomials vectors I in a module (A)^n, the following procedure computes a Sasbi-Standard weak normal form of f with respect to I over A. | ||
+ | |||
+ | * [[mathcity> | ||
====Procedure to Classify the Hypersurface Singularities of Corank 3 in Positive Characteristics==== | ====Procedure to Classify the Hypersurface Singularities of Corank 3 in Positive Characteristics==== | ||
- | | + | |
+ | | ||
====Contact Map Germs==== | ====Contact Map Germs==== | ||
- | | + | |
+ | | ||
====Procedure to classify the right unimodal and bimodal Hypersurface singularities in positive characteristic by invariants==== | ====Procedure to classify the right unimodal and bimodal Hypersurface singularities in positive characteristic by invariants==== | ||
- | | + | |
+ | | ||
====Procedure to classify the stably simple curve singularities==== | ====Procedure to classify the stably simple curve singularities==== | ||
- | | + | Remarks: Compute the Sagbi- basis of the Module. Compute the Semi-Group of the Algebra provided the input is Sagbi Bases of the Algebra. Compute the Semi-Module provided that the inputs are the Sagbi Bases of the Algebra resp.Module. |
+ | |||
+ | | ||
- | ====Procedures to Compute | + | ====Procedures to Compute SH-bases of subalgebra ==== |
- | * SPDFICON [[http:// | + | |
- | * [[http:// | + | |
- | ==== Subalgebra Analogue to Standard Basis for Ideal ===== | + | |
- | * SPDFICON | + | * [[mathcity> |
+ | ==== Procedure to Compute Sasbi Bases ===== | ||
+ | Let A=B_> be a localization of a polynomial subalgebra B with respect to a local monomial ordering >. For a polynomial f of R_> (a localization of ring R with respect to >) and a finite set of polynomials I in A, the following procedure computes a weak Sasbi normal form of f with respect to A. | ||
- | * [[mathcity> | + | * [[mathcity> |
==== Further on Sagbi Basis Under Composition ==== | ==== Further on Sagbi Basis Under Composition ==== |