Skip to content

Genus2Conductor v1.2.0

Compare
Choose a tag to compare
@cjdoris cjdoris released this 20 Feb 10:57
· 9 commits to master since this release
  • Adds the global proof method, so now the Proof parameter can take the values "Local" (equivalent to true) and "Global".
  • The UseOgg parameter works over number fields now.
  • Adds the MobiusRandomize parameter.
  • We use the UseNP option to Factorization, since it's quicker.
  • Removes sloping from a call to IsHenselLiftable, since it's quicker.