geometricGenus(I)
geometricGenus(I,ib)
Computes the geometric genus of a plane curve.
If ib is specified (and only then) 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 the point (1:0:0).
Furthermore 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.
If ib is not specified the function takes care of these conditions by applying an appropriate projective automorphism before doing the computation and afterwards applying its inverse. The algorithm will try to choose an automorphism as simple as possible, however note that this process may destroy sparseness and harm the performance.
A rational curve with three double points:
|
|
|
|
Same example but specifying the integral basis:
|
|
|
|
|
|
|
The Cusp:
|
|
|
|
Same example but specifying the integral basis:
|
|
|
|
|
|
|
A curve of genus 4:
|
|
|
|
Same example but specifying the integral basis:
|
|
|
|
|
|
|
The function so far does not cache the integral basis computation.
The object geometricGenus is a method function.