Skip to content
This repository has been archived by the owner on Aug 31, 2021. It is now read-only.

1.4.0
Compare
Choose a tag to compare
@saraedum saraedum released this 11 Nov 17:32
· 5 commits to master since this release
1.4.0
b10ed4c
This commit was signed with the committer’s verified signature.
saraedum Julian Rüth
GPG key ID: 5F503B618317B0E7
Verified
Learn about vigilant mode.

Added:

  • added vector() method on RealEmbeddedNumberFieldElement.
Assets 3
Loading