Skip to content

ExactpAdics2 v0.3.0
Compare
Choose a tag to compare
@cjdoris cjdoris released this 20 Aug 11:41
· 17 commits to master since this release
v0.3.0
17ff4af
  • Now licensed under GPL.
  • Homomorphism constructors have been reimplemented.
  • Adds representations for vector spaces, vectors and matrices over p-adic fields.
  • Adds DiscriminantValuation, VectorSpace, StandardForm and OptimizedRepresentation for field extensions.
  • Adds SplittingField.
  • Fixes bugs in IsCoercible.
Assets 2
Loading