Computer Aided Algebraic Geometry
Computer Aided Algebraic Geometry
Computer Aided Algebraic Geometry
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
The algorithms<br />
<strong>Computer</strong><br />
<strong>Aided</strong><br />
<strong>Algebraic</strong><br />
<strong>Geometry</strong><br />
R. Pignatelli<br />
Surfaces<br />
Invariants<br />
Quasi-étale<br />
quotients<br />
Definitions<br />
Reversing the above formulas we implemented in Magma<br />
an algorithm that computes all quasi-étale surfaces S with<br />
given p g , q and K 2 S .<br />
1 find all (fin. many) possible pairs of genera<br />
(g(C 1 /G (0) ), g(C 2 /G (0) )) and configurations ("baskets")<br />
of singularities with ∑ x b x = 8χ − K 2 S ; 14 / 19<br />
Computing<br />
invariants<br />
<strong>Computer</strong><br />
Calculations<br />
The Algorithms<br />
Classification<br />
Results<br />
Open<br />
Problems