Polymake.jl 0.3.2 released
25 Mar 2020Today Polymake.jl 0.3.2 has been released.
Merged pull requests:
- SingularBuilder moved to oscar-system; update to latest version (#239) (@fingolfin)
- deps: switch from Nemo to LoadFlint (#240) (@benlorenz)
- supress banner in oscar (#241) (@fieker)
- bump version to 0.3.2 (#242) (@benlorenz)