Algebraic verification of group law #279

1. 
   gmaxwell commented at 11:58 pm on July 18, 2015: contributor

   The explicit formulas database at http://hyperelliptic.org/EFD/g1p/auto-shortw-jacobian-0.html has an approach to algebraically verify group law, even (in some cases at least) completeness.

   We should apply this both to verify and document our verification.

2. gmaxwell added this to the milestone initial release on Aug 27, 2015
3. 
   sipa commented at 5:21 am on November 28, 2016: contributor

   Fixed by #302.
4. sipa closed this on Nov 28, 2016

   ---

Contributors
gmaxwell sipa

Milestone
stable release (1.0.0-rc.1)