- addition -- addition of smooth points on a curve of genus 1
- addition(...,Conductor=>...) -- addition of smooth points on a curve of genus 1
- addition(Ideal,Ideal,Ideal) -- addition of smooth points on a curve of genus 1
- addition(List,List,List,Ring) -- addition of smooth points on a curve of genus 1
- canonicalImage -- canonical model of the normalization of a plane curve
- canonicalImage(...,Conductor=>...) -- canonical model of the normalization of a plane curve
- canonicalImage(Ideal) -- canonical model of the normalization of a plane curve
- canonicalImage(Ring) -- canonical model of the normalization of a plane curve
- canonicalSeries -- Canonical series of the normalization of a plane curve
- canonicalSeries(...,Conductor=>...) -- Canonical series of the normalization of a plane curve
- canonicalSeries(Ideal) -- Canonical series of the normalization of a plane curve
- canonicalSeries(Ring) -- Canonical series of the normalization of a plane curve
- Conductor -- Option to avoid computation
- fromCoordinates -- Compute the ideal of a point from its coordinates
- fromCoordinates(List,Ring) -- Compute the ideal of a point from its coordinates
- fromCoordinates(ZZ,ZZ,ZZ,Ring) -- Compute the ideal of a point from its coordinates
- geometricGenus -- Geometric genus of a (singular) plane curve
- geometricGenus(...,Conductor=>...) -- Geometric genus of a (singular) plane curve
- geometricGenus(Ideal) -- Geometric genus of a (singular) plane curve
- geometricGenus(Ring) -- Geometric genus of a (singular) plane curve
- linearSeries -- compute a linear series
- linearSeries(...,Conductor=>...) -- compute a linear series
- linearSeries(...,ShowBase=>...) -- compute a linear series
- linearSeries(Ideal) -- compute a linear series
- linearSeries(Ideal,Ideal) -- compute a linear series
- linearSeries(List,List,Ring) -- compute a linear series
- linearSeries(List,Ring) -- compute a linear series
- negative -- implements the inverse in the group law of a curve of genus 1
- negative(...,Conductor=>...) -- implements the inverse in the group law of a curve of genus 1
- negative(Ideal,Ideal) -- implements the inverse in the group law of a curve of genus 1
- negative(List,List,Ring) -- implements the inverse in the group law of a curve of genus 1
- PlaneCurveLinearSeries -- Linear series on the normalization of a plane curve
- projectiveImage -- Projective image of the map defined by a divisor or matrix
- projectiveImage(...,Conductor=>...) -- Projective image of the map defined by a divisor or matrix
- projectiveImage(Ideal) -- Projective image of the map defined by a divisor or matrix
- projectiveImage(Ideal,Ideal) -- Projective image of the map defined by a divisor or matrix
- projectiveImage(List,List,Ring) -- Projective image of the map defined by a divisor or matrix
- projectiveImage(List,Ring) -- Projective image of the map defined by a divisor or matrix
- projectiveImage(Matrix) -- Projective image of the map defined by a divisor or matrix
- ShowBase -- Option for @TO linearSeries@
- toCoordinates -- coordinates of a point from its ideal
- toCoordinates(Ideal) -- coordinates of a point from its ideal