Implements the additive inverse in the group law on the smooth points of a plane curve E of genus 1, represented by its homogeneouos coordinate ring, with chosen zero point o.
|
|
|
|
|
|
|
|
The object negative is a method function with options.