Difference between revisions of "Package zerodim"

From ApCoCoAWiki
 
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{Version|2|[[:Category:ApCoCoA-1:Package ZeroDim]]}}
 
{{Version|2|[[:Category:ApCoCoA-1:Package ZeroDim]]}}
This page describes the zerodim package. The package contains various functions for computing algebraic invariants of zero-dimensional schemes and related computations. For a complete list of functions, see [[:Category:Package zerodim]].
+
This page describes the <code>zerodim</code> package. The package contains various functions for computing algebraic invariants of zero-dimensional schemes and related computations. For a complete list of functions, see also [[:Category:Package zerodim]].
  
  
Line 28: Line 28:
  
 
== Package Description ==
 
== Package Description ==
The <code>zerodim</code> package provides functions for computing the introduced invariants of zero-dimensional schemes and their Hilbert functions in the graded case.
+
The <code>zerodim</code> package provides functions for computing the introduced invariants of zero-dimensional schemes. In the graded case the package also provides functions for computations of the Hilbert functions of these invariants. Alias of the package is <code>ZD</code>.
  
 
=== List of main functions ===
 
=== List of main functions ===
Given a polynomial ring <code>P</code> and a list <code>F</code> of polynomials in <code>P</code>, one can compute the reduced SAGBI basis of <math>K</math>[<code>F</code>] (with respect to the term ordering given by <code>P</code>) using the function [[/SB.SAGBI/]] - as long as a finite one exists.
+
 
 +
[[/MinQuotIdeal/]]
 +
<pre>
 +
MinQuotIdeal(P, I, J): computes a min. homog. system
 +
          of generators of homog. ideal (I+J)/I.
 +
    input: P=K[x[1..N]], I and J homog. ideals of P
 +
    output: list of polys
 +
</pre>
 +
[[/AffineNoetherDiff/]]
 +
<pre>
 +
AffineNoetherDiff(P, I): computes a generating system";
 +
          of the Noether different of algebra R/K, R=P/I";
 +
    input: P=K[x[1..N]], I an ideal of P";
 +
    output: list of polys";
 +
</pre>
 +
[[/NoetherDifferent/]]
 +
<pre>
 +
NoetherDifferent(P, I): computes a min.homog. gen. system
 +
          of the Noether different of algebra R/K, R=P/I.
 +
    input: P=K[x[1..N]], I an homog. ideal of P
 +
    output: list of polys
 +
</pre>
 +
[[/NoetherDifferentRel/]]
 +
<pre>
 +
NoetherDifferentRel(P, Ix): computes a min.homog. gen. system
 +
          of the Noether different of R/K[x[0]], R=P/Ix.
 +
    input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
 +
            in P^n_K such that intersect(X,Z(x[0])) is empty
 +
    output: list of polys
 +
</pre>
 +
[[/HilbertNoetherDiff/]]
 +
<pre>
 +
HilbertNoetherDiff(P, I): computes the Hilbert function
 +
          of the Noether different of R/K, R=P/I.
 +
    input: P=K[x[1..N]], I an homog. ideal of P
 +
    output: the Hilbert function
 +
</pre>
 +
[[/HilbertNoetherDiffRel/]]
 +
<pre>
 +
HilbertNoetherDiffRel(P, Ix): computes the Hilbert function
 +
          of the Noether different of R/K[x[0]], R=P/Ix.
 +
    input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
 +
            in P^n_K such that intersect(X,Z(x[0])) is empty
 +
    output: the Hilbert function
 +
</pre>
 +
[[/AffineKaehlerDiff/]]
 +
<pre>
 +
AffineKaehlerDiff(P,I,m): computes a generating system
 +
          of the m-th Kaehler different of algebra R/K, R=P/I.
 +
    input: P=K[x[1..N]], I an ideal of P, m non-neg integer
 +
    output: list of polys
 +
</pre>
 +
[[/KaehlerDifferent/]]
 +
<pre>
 +
KaehlerDifferent(P,I,m): computes a min.homog.gen. system
 +
          of the m-th Kaehler different of algebra R/K, R=P/I.
 +
    input: P=K[x[1..N]], I an homog. ideal, m non-neg integer
 +
    output: list of polys
 +
</pre>
 +
[[/KaehlerDifferentRel/]]
 +
<pre>
 +
KaehlerDifferentRel(P, Ix): computes a min. homog.gen. system
 +
          of the Kaehler different of R/K[x[0]], R=P/Ix.
 +
    input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
 +
            in P^n_K such that intersect(X,Z(x[0])) is empty
 +
    output: list of polys
 +
</pre>
 +
[[/HilbertKaehlerDiff/]]
 +
<pre>
 +
HilbertKaehlerDiff(P,I,m): computes the Hilbert function
 +
          of the m-th Kaehler different of R/K, R=P/I.
 +
    input: P=K[x[1..N]], I an homog. ideal, m non-neg integer
 +
    output: the Hilbert function
 +
</pre>
 +
[[/HilbertKaehlerDiffRel/]]
 +
<pre>
 +
HilbertKaehlerDiffRel(P, Ix): computes the Hilbert function
 +
          of the Kaehler different of R/K[x[0]], R=P/Ix.
 +
    input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
 +
            in P^n_K such that intersect(X,Z(x[0])) is empty
 +
    output: the Hilbert function
 +
</pre>
 +
[[/AffBMAlgo/]]
 +
<pre>
 +
AffBMAlgo(LX,O): computes a list [GBasis,OrderIdeal,Separators]
 +
          for a 0-dim ideal with its primary components LX.
 +
    input: P=K[x[1..N]], LX list of 0-dim primary ideals
 +
            q_j associated to a 0-dim ideal of P
 +
            O list of K-bases of P/q_j
 +
    output: [GBasis,OrderIdeal,Separators] of P/intersection(q_j)
 +
</pre>
 +
[[/DedekindDifferentRel/]]
 +
<pre>
 +
DedekindDifferentRel(P,Points): computes a min.homog.gen. system
 +
          of the Dedekind different of R/K[x[0]], where R=P/Ix
 +
          and Ix is the vanishing ideal of Points.
 +
    input: P=K[x[0..N]], Points=list of points in P^n_K
 +
            not in Z(x[0])
 +
    output: list of polys
 +
</pre>
 +
[[/HilbertDedekindDiffRel/]]
 +
<pre>
 +
HilbertDedekindDiffRel(P,Points): computes the Hilbert function
 +
          of the Dedekind different of R/K[x[0]], where R=P/Ix
 +
          and Ix is the vanishing ideal of Points.
 +
    input: P=K[x[0..N]], Points=list of points in P^n_K
 +
            not in Z(x[0])
 +
    output: the Hilbert function
 +
</pre>
 +
[[/KaehlerDiffModule/]]
 +
<pre>
 +
KaehlerDiffModule(P, Ix, m): computes a submodule U of P^t
 +
          such that the module of Kaehler differential m-form
 +
          has Omega^m(R/K)=P^t/U, R=P/Ix, t=binom{n}{m}.
 +
    input: P=K[x[1..N]], Ix a non-zero ideal, m non-neg integer
 +
    output: submodule with generators
 +
</pre>
 +
[[/HilbertKDM/]]
 +
<pre>
 +
HilbertKDM(P, Ix, m): computes the Hilbert function of
 +
          the module of Kaehler differential m-form.
 +
    input: P=K[x[1..N]], Ix a non-zero homog. ideal, 0<m<n+1
 +
    output: HF of Omega^m(R/K)
 +
</pre>
 +
[[/KDMOfPoints/]]
 
<pre>
 
<pre>
SB.SAGBI(F);
+
KDMOfPoints(P,Points,m): computes a submodule U of P^t such that
 +
          the module of Kaehler differential m-form has
 +
          Omega^m(R/K)=P^t/U, R=P/I_Points, t=binom{n}{m}.
 +
    input: P=K[x[1..N]], Points=list of points, m non-neg integer
 +
    output: submodule with generators
 
</pre>
 
</pre>
Note that this function probably runs into an infinite loop if no finite SAGBI basis exists. This can be avoided using the function [[/SB.SAGBITimeout/]]. Given a positive integer <code>s</code>, one can type in
+
[[/KDMOfProjectivePoints/]]
 
<pre>
 
<pre>
SB.SAGBITimeout(F,s);
+
KDMOfProjectivePoints(P,Points,m): computes a submodule U of P^t
 +
          such that the module of Kaehler differential m-form has
 +
          Omega^m(R/K)=P^t/U, R=P/I_Points, t=binom{n}{m}.
 +
    input: P=K[x[1..N]], Points=list of projective points,
 +
            m non-neg integer
 +
    output: submodule with generators
 
</pre>
 
</pre>
which does the same as <code>SB.SAGBI(F)</code>, but throws an error if the computation is not finished within <code>s</code> seconds.
+
[[/KDMRel/]]
Given a polynomial <code>f</code> and a list of polynomials <code>G</code>, the function [[/SB.ReductionStep/]] can be used to compute a polynomial <code>g</code> with <code>f</code><math>{\xrightarrow{G}}_{\rm s}</math><code>g</code>.
 
 
<pre>
 
<pre>
SB.ReductionStep(f,G);
+
KDMRel(P, Ix, m): computes a submodule U of P^t such that
 +
          the module of Kaehler differential m-form of R/K[x[0]]
 +
          has Omega^m(R/K[x[0]])=P^t/U, R=P/Ix, t=binom{n}{m}.
 +
    input: P=K[x[0..N]], Ix a non-zero homog. ideal such that
 +
            K[x[0]] is the Noetherian normalization of R,
 +
            m non-neg integer
 +
    output: submodule with generators
 +
</pre>
 +
[[/HilbertKDMRel/]]
 +
<pre>
 +
HilbertKDMRel(P, Ix, m): computes the Hilbert function of
 +
          the module of Kaehler differential m-form of R/K[x[0]].
 +
    input: P=K[x[0..N]], Ix a non-zero homog. ideal such that
 +
            K[x[0]] is the Noetherian normalization of R,
 +
            m non-neg integer";
 +
    output: HF of Omega^m(R/K[x_0])
 
</pre>
 
</pre>
  
 +
=== Examples for computations ===
 +
Now let us apply the <code>zerodim</code> package to some concrete examples. Recall that the alias of the package is <code>ZD</code>, and so to call a function from this package in computation one uses [[/ZD.functions-name/]].
  
=== The Subalgebra Data Type ===
+
Consider the first example, where X is the scheme defined by the homogeneous ideal Ix.
The package also introduces a new ''Data type'', i.e. a record tagged with <code>"$apcocoa/sagbi.Subalgebra"</code>. Given a polynomial ring <code>P</code> and a list of polynomials <code>G</code> from <code>P</code>, one can create the subalgebra <math>K[G]</math> using the function [[/SB.Subalgebra/]].
 
 
<pre>
 
<pre>
Use P ::= QQ[x,y,z];
+
Use P ::= QQ[X[0..2]];
G := [x^2+y*z,z];
+
Ix := ideal(X[0]*X[1] -X[1]^2, X[1]^2*X[2] -X[1]*X[2]^2, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3);
S := SB.Subalgebra(P,G);
+
</pre>
 +
Then we calculate the differents of X as follows:
 +
<pre>
 +
-- Computes the Noether different of R/K:
 +
ZD.NoetherDifferent(P,Ix);
 +
  []
 +
-- Computes the Noether different of R/K[x_0]:
 +
ZD.NoetherDifferentRel(P,Ix);  
 +
  [X[1]^3 -2*X[1]*X[2]^2,  2*X[0]^3 -6*X[0]*X[2]^2 -2*X[1]*X[2]^2 +3*X[2]^3,  X[2]^4]
 +
-- Computes the Hilbert function of the Noether different of R/K[x_0]:
 +
ZD.HilbertNoetherDiffRel(P,Ix);
 +
  H(0) = 0
 +
  H(1) = 0
 +
  H(2) = 0
 +
  H(3) = 2
 +
  H(t) = 5, for t >= 4
 +
-- Computes the Kaehler different of R/K[x_0]:
 +
ZD.KaehlerDifferentRel(P,Ix);
 +
  [X[1]^3 -2*X[1]*X[2]^2,  2*X[0]^3 -6*X[0]*X[2]^2 -2*X[1]*X[2]^2 +3*X[2]^3, X[2]^4]
 +
-- Computes the Hilbert function of the Kaehler different of R/K[x_0]:
 +
ZD.HilbertKaehlerDiffRel(P,Ix);
 +
  H(0) = 0
 +
  H(1) = 0
 +
  H(2) = 0
 +
  H(3) = 2
 +
  H(t) = 5, for t >= 4
 +
</pre>
 +
The module of Kaehler differentials 1-forms of R/K is determined by a submodule U of P^3 which is computed by:
 +
<pre>
 +
U := ZD.KaehlerDiffModule(P,Ix,1); indent(U);
 +
  SubmoduleRows(F, matrix([
 +
    [X[1], X[0] -2*X[1], 0],
 +
    [0, 2*X[1]*X[2] -X[2]^2, X[1]^2 -2*X[1]*X[2]],
 +
    [4*X[0]*X[2] -3*X[2]^2, 0, 2*X[0]^2 -6*X[0]*X[2] +3*X[2]^2],
 +
    [X[0]*X[1] -X[1]^2, 0, 0],
 +
    [2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3, 0, 0],
 +
    [0, X[0]*X[1] -X[1]^2, 0],
 +
    [0, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3, 0],
 +
    [0, 0, X[0]*X[1] -X[1]^2],
 +
    [0, 0, X[1]^2*X[2] -X[1]*X[2]^2],
 +
    [0, 0, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3]
 +
  ]))
 
</pre>
 
</pre>
For details about the structure of this data type, see the function page.
 
While nearly all functionalities of the SAGBI package can be used without touching this data type, it has many advantages to do so because it stores informations of previous computations, see the example below. This is also the reason why many of the getter functions need the subalgebra to be called by reference.
 
The following getter function can be used to get informations about the subalgebra:
 
[[/SB.GetCoeffRing/]](S); -- returns the coefficient ring
 
[[/SB.GetGens/]](S); -- returns the set G
 
[[/SB.GetID/]](S); -- returns the unique ID of S
 
[[/SB.GetLTSA/]](ref S); -- returns the subalgebra K[LT(f) | f in S]
 
[[/SB.GetRing/]](S); -- returns P
 
[[/SB.GetSAGBI/]](ref S); -- returns the reduced SAGBI basis of S (if a finite one exists)
 
  
 
+
Next, let us consider the example, where X is given by a set of 10 points:
 
+
<pre>
=== Example for the Subalgebra Data Type ===
+
Use P::=QQ[X[0..2]];
So what advantages does the Subalgebra data type have? Consider the following example.
+
Points := [[1,1,0], [1,3,0], [1,1,1], [1,2,1], [1,3,1], [1,0,2], [1,1,2], [1,2,2], [1,3,2], [1,3,3]];
 +
</pre>
 +
We can compute the Dedekind different of X and its Hilbert function by:
 +
<pre>
 +
ZD.DedekindDifferentRel(P,Points);
 +
  [X[2]^6,  X[1]*X[2]^5,  X[0]*X[2]^5,  X[1]^2*X[2]^4,  X[0]*X[1]*X[2]^4, 
 +
    X[0]^2*X[2]^4,  X[1]^3*X[2]^3,  X[0]*X[1]^2*X[2]^3,  X[1]^6,  X[0]*X[1]^5]
 +
ZD.HilbertDedekindDiffRel(P,Points);
 +
  H(0) = 0
 +
  H(1) = 0
 +
  H(2) = 0
 +
  H(3) = 0
 +
  H(4) = 0
 +
  H(5) = 0
 +
  H(t) = 10, for t >= 6
 +
</pre>
 +
The module of Kaehler differential 3-forms of R/K can be computed by
 
<pre>
 
<pre>
Use P ::= QQ[x,y,z];
+
ZD.KDMOfProjectivePoints(P,Points,3);
G := [x^2 -z^2,  x*y +z^2,  y^2 -2*z^2];
+
  submodule(FreeModule(RingWithID(144, "QQ[X[0],X[1],X[2]]"), 1),
L := SB.SAGBI(G);
+
    [[(-1/2)*X[0]*X[1]^2 +(-19/27)*X[1]^3 +(-85/18)*X[0]^2*X[2] +(563/27)*X[0]*X[1]*X[2]
f := x^10*y^2 +x^6*y^6 -2*x^10*z^2 -5*x^8*y^2*z^2 +6*x^5*y^5*z^2 +10*x^8*z^4 +10*x^6*y^2*z^4 +15*x^4*y^4*z^4 -20*x^6*z^6 -10*x^4*y^2*z^6 +20*x^3*y^3*z^6 +20*x^4*z^8 +20*x^2*y^2*z^8 -10*x^2*z^10 +6*x*y*z^10 -y^2*z^10 +3*z^12;
+
      +(85/27)*X[1]^2*X[2] +(-61/3)*X[0]*X[2]^2 +(-301/18)*X[1]*X[2]^2 +(47/3)*X[2]^3],
b := SB.IsInSubalgebra(f,G);
+
      [-X[0]^2*X[2] +(3/2)*X[0]*X[2]^2 +(-1/2)*X[2]^3], [-2*X[0]^2*X[1] +4*X[0]*X[1]^2  
h := SB.SubalgebraHS(G);
+
      +(-4/3)*X[1]^3 +X[1]^2*X[2] +(-23/6)*X[0]*X[2]^2 +(-4/3)*X[1]*X[2]^2 +(13/6)*X[2]^3],
 +
      [-X[0]^3 +(13/3)*X[0]*X[1]^2 +(-16/9)*X[1]^3 +(11/6)*X[1]^2*X[2] +(-253/36)*X[0]*X[2]^2
 +
      +(-22/9)*X[1]*X[2]^2 +(143/36)*X[2]^3],
 +
      [(40/9)*X[0]*X[1]^2 +(-52/27)*X[1]^3 +X[0]*X[1]*X[2] +(19/9)*X[1]^2*X[2]
 +
      +(-563/54)*X[0]*X[2]^2 +(-85/27)*X[1]*X[2]^2 +(301/54)*X[2]^3],
 +
      [2*X[0]*X[1]*X[2] -2*X[0]*X[2]^2 +(-3/2)*X[1]*X[2]^2 +(3/2)*X[2]^3],
 +
      [3*X[0]^2*X[2] +(-11/3)*X[0]*X[2]^2 +X[2]^3],
 +
      [2*X[0]*X[1]^2 +(-4/3)*X[1]^3 -2*X[0]*X[2]^2 +(23/6)*X[1]*X[2]^2 +(-5/2)*X[2]^3],
 +
      [3*X[0]^2*X[1] +(-13/9)*X[1]^3 +(-11/3)*X[0]*X[2]^2 +(253/36)*X[1]*X[2]^2 +(-55/12)*X[2]^3],
 +
      [4*X[0]^3 +(-40/27)*X[1]^3 +(-1/2)*X[1]^2*X[2] +(-85/18)*X[0]*X[2]^2 +(563/54)*X[1]*X[2]^2 +(-61/9)*X[2]^3]
 +
    ])
 
</pre>
 
</pre>
  
While this is only a simple example, the second code is much faster. At the time this is written, the second computation is approximately two times as fast as the first one.
+
[[Category:Package zerodim]]
 
+
[[Category:Package alggeozd]]
[[Category:Package sagbi]]
+
[[Category:Package borderbasis]]
 
[[Category:ApCoCoA Packages]]
 
[[Category:ApCoCoA Packages]]

Latest revision as of 23:25, 17 November 2022

This article is about a function from ApCoCoA-2. If you are looking for the ApCoCoA-1 version of it, see Category:ApCoCoA-1:Package ZeroDim.

This page describes the zerodim package. The package contains various functions for computing algebraic invariants of zero-dimensional schemes and related computations. For a complete list of functions, see also Category:Package zerodim.


Algebraic Invariants

Let be a field, let be the polynomial ring over in indeterminates, and let be a 0-dimensional ideal of and . Then defines a 0-dimensional scheme in the affine -space. Consider the canonical multiplication map

and its kernel . Then is a finitely generated -module and is an ideal of the enveloping algebra .

  • The ideal is called the Noether different of the algebra .
  • The -module is called the module of Kaehler differential 1-forms of the algebra .
  • The -linear map , is called the universal derivation of the algebra .
  • For , the exterior power is called the module of Kaehler differential m-forms of the algebra .
  • For the -th Fitting ideal of the module of Kaehler differential 1-forms is called the Kaehler different of the algebra .

More generally, for any -algebra , we can define the Noether different, module of Kaehler differential m-forms, Kaehler different of analogously. In particular, if is graded, then all these invariants are also graded.

Now let us embed the scheme in the projective -space via , where is a new indeterminate. Set and equip with the standard grading. The homogeneous vanishing ideal of is the homogenization of with respect to and denoted by , and the homogeneous coordinate ring of is the graded 1-dimensional ring . In this case is the Noetherian normalization of , and hence we can define the above invariants for the graded algebra . Moreover, we have the following further invariants.

  • The graded -module is called the canonical module of the algebra .
  • The graded locolization of at is called the homogeneous ring of quotients of .
  • When the scheme is reduced (more general, locally Gorenstein), there is an injection and the inverse of in is called the Dedekind different of .

Many interesting properties of the scheme are reflexed by the algebraic structure of the above invariants.

Package Description

The zerodim package provides functions for computing the introduced invariants of zero-dimensional schemes. In the graded case the package also provides functions for computations of the Hilbert functions of these invariants. Alias of the package is ZD.

List of main functions

MinQuotIdeal

MinQuotIdeal(P, I, J): computes a min. homog. system
          of generators of homog. ideal (I+J)/I.
     input: P=K[x[1..N]], I and J homog. ideals of P
     output: list of polys

AffineNoetherDiff

AffineNoetherDiff(P, I): computes a generating system";
          of the Noether different of algebra R/K, R=P/I";
     input: P=K[x[1..N]], I an ideal of P";
     output: list of polys";

NoetherDifferent

NoetherDifferent(P, I): computes a min.homog. gen. system
          of the Noether different of algebra R/K, R=P/I.
     input: P=K[x[1..N]], I an homog. ideal of P
     output: list of polys

NoetherDifferentRel

NoetherDifferentRel(P, Ix): computes a min.homog. gen. system
          of the Noether different of R/K[x[0]], R=P/Ix.
     input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
            in P^n_K such that intersect(X,Z(x[0])) is empty
     output: list of polys

HilbertNoetherDiff

HilbertNoetherDiff(P, I): computes the Hilbert function
          of the Noether different of R/K, R=P/I.
     input: P=K[x[1..N]], I an homog. ideal of P
     output: the Hilbert function

HilbertNoetherDiffRel

HilbertNoetherDiffRel(P, Ix): computes the Hilbert function
          of the Noether different of R/K[x[0]], R=P/Ix.
     input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
            in P^n_K such that intersect(X,Z(x[0])) is empty
     output: the Hilbert function

AffineKaehlerDiff

AffineKaehlerDiff(P,I,m): computes a generating system
          of the m-th Kaehler different of algebra R/K, R=P/I.
     input: P=K[x[1..N]], I an ideal of P, m non-neg integer
     output: list of polys

KaehlerDifferent

KaehlerDifferent(P,I,m): computes a min.homog.gen. system
          of the m-th Kaehler different of algebra R/K, R=P/I.
     input: P=K[x[1..N]], I an homog. ideal, m non-neg integer
     output: list of polys

KaehlerDifferentRel

KaehlerDifferentRel(P, Ix): computes a min. homog.gen. system
          of the Kaehler different of R/K[x[0]], R=P/Ix.
     input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
            in P^n_K such that intersect(X,Z(x[0])) is empty
     output: list of polys

HilbertKaehlerDiff

HilbertKaehlerDiff(P,I,m): computes the Hilbert function
          of the m-th Kaehler different of R/K, R=P/I.
     input: P=K[x[1..N]], I an homog. ideal, m non-neg integer
     output: the Hilbert function

HilbertKaehlerDiffRel

HilbertKaehlerDiffRel(P, Ix): computes the Hilbert function
          of the Kaehler different of R/K[x[0]], R=P/Ix.
     input: P=K[x[0..N]], Ix vanishing ideal of a 0-dim scheme X
             in P^n_K such that intersect(X,Z(x[0])) is empty
     output: the Hilbert function

AffBMAlgo

AffBMAlgo(LX,O): computes a list [GBasis,OrderIdeal,Separators]
          for a 0-dim ideal with its primary components LX.
     input: P=K[x[1..N]], LX list of 0-dim primary ideals
            q_j associated to a 0-dim ideal of P
            O list of K-bases of P/q_j
     output: [GBasis,OrderIdeal,Separators] of P/intersection(q_j)

DedekindDifferentRel

DedekindDifferentRel(P,Points): computes a min.homog.gen. system
          of the Dedekind different of R/K[x[0]], where R=P/Ix
          and Ix is the vanishing ideal of Points.
     input: P=K[x[0..N]], Points=list of points in P^n_K
            not in Z(x[0])
     output: list of polys

HilbertDedekindDiffRel

HilbertDedekindDiffRel(P,Points): computes the Hilbert function
          of the Dedekind different of R/K[x[0]], where R=P/Ix
          and Ix is the vanishing ideal of Points.
     input: P=K[x[0..N]], Points=list of points in P^n_K
            not in Z(x[0])
     output: the Hilbert function

KaehlerDiffModule

KaehlerDiffModule(P, Ix, m): computes a submodule U of P^t
          such that the module of Kaehler differential m-form
          has Omega^m(R/K)=P^t/U, R=P/Ix, t=binom{n}{m}.
     input: P=K[x[1..N]], Ix a non-zero ideal, m non-neg integer
     output: submodule with generators

HilbertKDM

HilbertKDM(P, Ix, m): computes the Hilbert function of
          the module of Kaehler differential m-form.
     input: P=K[x[1..N]], Ix a non-zero homog. ideal, 0<m<n+1
     output: HF of Omega^m(R/K)

KDMOfPoints

KDMOfPoints(P,Points,m): computes a submodule U of P^t such that
          the module of Kaehler differential m-form has
          Omega^m(R/K)=P^t/U, R=P/I_Points, t=binom{n}{m}.
     input: P=K[x[1..N]], Points=list of points, m non-neg integer
     output: submodule with generators

KDMOfProjectivePoints

KDMOfProjectivePoints(P,Points,m): computes a submodule U of P^t
          such that the module of Kaehler differential m-form has
          Omega^m(R/K)=P^t/U, R=P/I_Points, t=binom{n}{m}.
     input: P=K[x[1..N]], Points=list of projective points,
            m non-neg integer
     output: submodule with generators

KDMRel

KDMRel(P, Ix, m): computes a submodule U of P^t such that
          the module of Kaehler differential m-form of R/K[x[0]]
          has Omega^m(R/K[x[0]])=P^t/U, R=P/Ix, t=binom{n}{m}.
     input: P=K[x[0..N]], Ix a non-zero homog. ideal such that
            K[x[0]] is the Noetherian normalization of R,
            m non-neg integer
     output: submodule with generators

HilbertKDMRel

HilbertKDMRel(P, Ix, m): computes the Hilbert function of
          the module of Kaehler differential m-form of R/K[x[0]].
     input: P=K[x[0..N]], Ix a non-zero homog. ideal such that
            K[x[0]] is the Noetherian normalization of R,
            m non-neg integer";
     output: HF of Omega^m(R/K[x_0])

Examples for computations

Now let us apply the zerodim package to some concrete examples. Recall that the alias of the package is ZD, and so to call a function from this package in computation one uses ZD.functions-name.

Consider the first example, where X is the scheme defined by the homogeneous ideal Ix.

Use P ::= QQ[X[0..2]];
Ix := ideal(X[0]*X[1] -X[1]^2, X[1]^2*X[2] -X[1]*X[2]^2, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3);

Then we calculate the differents of X as follows:

-- Computes the Noether different of R/K:
ZD.NoetherDifferent(P,Ix); 
   []
-- Computes the Noether different of R/K[x_0]:
ZD.NoetherDifferentRel(P,Ix); 
   [X[1]^3 -2*X[1]*X[2]^2,  2*X[0]^3 -6*X[0]*X[2]^2 -2*X[1]*X[2]^2 +3*X[2]^3,  X[2]^4]
-- Computes the Hilbert function of the Noether different of R/K[x_0]:
ZD.HilbertNoetherDiffRel(P,Ix);
   H(0) = 0
   H(1) = 0
   H(2) = 0
   H(3) = 2
   H(t) = 5, for t >= 4
-- Computes the Kaehler different of R/K[x_0]:
ZD.KaehlerDifferentRel(P,Ix);
   [X[1]^3 -2*X[1]*X[2]^2,  2*X[0]^3 -6*X[0]*X[2]^2 -2*X[1]*X[2]^2 +3*X[2]^3,  X[2]^4]
-- Computes the Hilbert function of the Kaehler different of R/K[x_0]:
ZD.HilbertKaehlerDiffRel(P,Ix);
   H(0) = 0
   H(1) = 0
   H(2) = 0
   H(3) = 2
   H(t) = 5, for t >= 4

The module of Kaehler differentials 1-forms of R/K is determined by a submodule U of P^3 which is computed by:

U := ZD.KaehlerDiffModule(P,Ix,1); indent(U);
   SubmoduleRows(F, matrix([
     [X[1], X[0] -2*X[1], 0],
     [0, 2*X[1]*X[2] -X[2]^2, X[1]^2 -2*X[1]*X[2]],
     [4*X[0]*X[2] -3*X[2]^2, 0, 2*X[0]^2 -6*X[0]*X[2] +3*X[2]^2],
     [X[0]*X[1] -X[1]^2, 0, 0],
     [2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3, 0, 0],
     [0, X[0]*X[1] -X[1]^2, 0],
     [0, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3, 0],
     [0, 0, X[0]*X[1] -X[1]^2],
     [0, 0, X[1]^2*X[2] -X[1]*X[2]^2],
     [0, 0, 2*X[0]^2*X[2] -3*X[0]*X[2]^2 +X[2]^3]
   ]))

Next, let us consider the example, where X is given by a set of 10 points:

Use P::=QQ[X[0..2]];
Points := [[1,1,0], [1,3,0], [1,1,1], [1,2,1], [1,3,1], [1,0,2], [1,1,2], [1,2,2], [1,3,2], [1,3,3]];

We can compute the Dedekind different of X and its Hilbert function by:

ZD.DedekindDifferentRel(P,Points);
   [X[2]^6,  X[1]*X[2]^5,  X[0]*X[2]^5,  X[1]^2*X[2]^4,  X[0]*X[1]*X[2]^4,  
    X[0]^2*X[2]^4,  X[1]^3*X[2]^3,  X[0]*X[1]^2*X[2]^3,  X[1]^6,  X[0]*X[1]^5]
ZD.HilbertDedekindDiffRel(P,Points);
   H(0) = 0
   H(1) = 0
   H(2) = 0
   H(3) = 0
   H(4) = 0
   H(5) = 0
   H(t) = 10, for t >= 6

The module of Kaehler differential 3-forms of R/K can be computed by

ZD.KDMOfProjectivePoints(P,Points,3);
   submodule(FreeModule(RingWithID(144, "QQ[X[0],X[1],X[2]]"), 1), 
     [[(-1/2)*X[0]*X[1]^2 +(-19/27)*X[1]^3 +(-85/18)*X[0]^2*X[2] +(563/27)*X[0]*X[1]*X[2] 
       +(85/27)*X[1]^2*X[2] +(-61/3)*X[0]*X[2]^2 +(-301/18)*X[1]*X[2]^2 +(47/3)*X[2]^3], 
      [-X[0]^2*X[2] +(3/2)*X[0]*X[2]^2 +(-1/2)*X[2]^3], [-2*X[0]^2*X[1] +4*X[0]*X[1]^2 
       +(-4/3)*X[1]^3 +X[1]^2*X[2] +(-23/6)*X[0]*X[2]^2 +(-4/3)*X[1]*X[2]^2 +(13/6)*X[2]^3], 
      [-X[0]^3 +(13/3)*X[0]*X[1]^2 +(-16/9)*X[1]^3 +(11/6)*X[1]^2*X[2] +(-253/36)*X[0]*X[2]^2 
       +(-22/9)*X[1]*X[2]^2 +(143/36)*X[2]^3], 
      [(40/9)*X[0]*X[1]^2 +(-52/27)*X[1]^3 +X[0]*X[1]*X[2] +(19/9)*X[1]^2*X[2] 
       +(-563/54)*X[0]*X[2]^2 +(-85/27)*X[1]*X[2]^2 +(301/54)*X[2]^3], 
      [2*X[0]*X[1]*X[2] -2*X[0]*X[2]^2 +(-3/2)*X[1]*X[2]^2 +(3/2)*X[2]^3], 
      [3*X[0]^2*X[2] +(-11/3)*X[0]*X[2]^2 +X[2]^3], 
      [2*X[0]*X[1]^2 +(-4/3)*X[1]^3 -2*X[0]*X[2]^2 +(23/6)*X[1]*X[2]^2 +(-5/2)*X[2]^3], 
      [3*X[0]^2*X[1] +(-13/9)*X[1]^3 +(-11/3)*X[0]*X[2]^2 +(253/36)*X[1]*X[2]^2 +(-55/12)*X[2]^3], 
      [4*X[0]^3 +(-40/27)*X[1]^3 +(-1/2)*X[1]^2*X[2] +(-85/18)*X[0]*X[2]^2 +(563/54)*X[1]*X[2]^2 +(-61/9)*X[2]^3]
     ])