traceMatrix(I,ib)
Computes the trace matrix for the integral basis ib, i.e., the matrix containing the traces of the elements ib_(0,i)*ib_(0,j).
We assume that I has the following properties:
Denote the variables of R=ring(I) by v,u,z. All singularities of C have to lie in the chart z!=0 and the curve should not contain (1:0:0).
We assume that ib has the following properties: The entries are in K(u)[v] inside frac(R) where the i-th entry is of degree $i$ in v for i=0..n-1. Note that this always can be achieved.
A rational curve with three double points:
|
|
|
|
|
|
|
The Cusp:
|
|
|
|
|
|
|
A curve of genus 4:
|
|
|
|
|
|
|
The object traceMatrix is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/AdjointIdeal.m2:1160:0.