Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
junaid [2023/02/23 17:52] – [Procedure to classify the right unimodal and bimodal Hypersurface singularities in positive characteristic by invariants] Dr. Atiq ur Rehman | junaid [2023/02/23 17:55] (current) – [Procedure to classify the stably simple curve singularities] Dr. Atiq ur Rehman | ||
---|---|---|---|
Line 32: | Line 32: | ||
====Procedure to classify the stably simple curve singularities==== | ====Procedure to classify the stably simple curve singularities==== | ||
- | * [[http://www.mathcity.org/ | + | 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 | + | * [[mathcity> |
- | * SPDFICON [[http:// | + | |
- | * [[http://www.mathcity.org/files/ | + | ====Procedures to Compute SH-bases of subalgebra ==== |
+ | |||
+ | * [[mathcity>files/ | ||
==== Procedure to Compute Sasbi Bases ===== | ==== 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. | 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. |