LEAN meets MaRDI and OSCAR (5 - 6 Dec, 2024 at TU Berlin)
Martin Bies, 19 Oct 2024Details are available here.
Details are available here.
Details are available here.
Today Singular.jl 0.22.6 has been released.
Read more...Today Polymake.jl 0.11.15 has been released.
Read more...Today AlgebraicSolving.jl 0.4.13 has been released.
Read more...Today AlgebraicSolving.jl 0.4.12 has been released.
Read more...Today Singular.jl 0.22.4 has been released.
Read more...Today Singular.jl 0.22.3 has been released.
Read more...Today AlgebraicSolving.jl 0.4.11 has been released.
Read more...Today Polymake.jl 0.11.14 has been released.
Read more...Today AlgebraicSolving.jl 0.4.10 has been released.
Read more...Today Singular.jl 0.22.2 has been released.
Read more...Today AlgebraicSolving.jl 0.4.9 has been released.
Read more...Today Polymake.jl 0.11.13 has been released.
Read more...Today Polymake.jl 0.11.12 has been released.
Read more...Today Singular.jl 0.22.1 has been released.
Read more...Today AlgebraicSolving.jl 0.4.8 has been released.
Read more...Today Singular.jl 0.22.0 has been released.
Read more...Today Polymake.jl 0.11.11 has been released.
Read more...Today AlgebraicSolving.jl 0.4.7 has been released.
Read more...Today Singular.jl 0.21.3 has been released.
Read more...Today AlgebraicSolving.jl 0.4.6 has been released.
Read more...Today Singular.jl 0.21.2 has been released.
Read more...Today Polymake.jl 0.11.10 has been released.
Read more...Today AlgebraicSolving.jl 0.4.5 has been released.
Read more...Today Singular.jl 0.21.1 has been released.
Read more...Today AlgebraicSolving.jl 0.4.4 has been released.
Read more...Today AlgebraicSolving.jl 0.4.3 has been released.
Read more...Today Singular.jl 0.21.0 has been released.
Read more...Today AlgebraicSolving.jl 0.4.2 has been released.
Read more...Today Polymake.jl 0.11.9 has been released.
Read more...Today Singular.jl 0.20.0 has been released.
Read more...Today Polymake.jl 0.11.8 has been released.
Read more...Today AlgebraicSolving.jl 0.4.1 has been released.
Read more...Today AlgebraicSolving.jl 0.4.0 has been released.
Today Singular.jl 0.19.0 has been released.
Read more...Today Singular.jl 0.18.18 has been released.
Read more...Today AlgebraicSolving.jl 0.3.7 has been released.
Read more...Today Polymake.jl 0.11.7 has been released.
Read more...Today AlgebraicSolving.jl 0.3.6 has been released.
Read more...Today Singular.jl 0.18.17 has been released.
Read more...Today Polymake.jl 0.11.6 has been released.
Read more...Today Singular.jl 0.18.16 has been released.
Read more...Today AlgebraicSolving.jl 0.3.5 has been released.
Read more...Today Singular.jl 0.18.15 has been released.
Read more...Today Singular.jl 0.18.14 has been released.
Read more...Today Polymake.jl 0.11.5 has been released.
Read more...Today Singular.jl 0.18.13 has been released.
Read more...Today Polymake.jl 0.11.4 has been released.
Read more...Today Singular.jl 0.18.12 has been released.
Read more...Today Polymake.jl 0.11.3 has been released.
Read more...Today Singular.jl 0.18.11 has been released.
Read more...Today Singular.jl 0.18.10 has been released.
Read more...Today Singular.jl 0.18.9 has been released.
Read more...Today AlgebraicSolving.jl 0.3.4 has been released.
Read more...Today Polymake.jl 0.11.2 has been released.
Read more...Today Polymake.jl 0.11.1 has been released.
Read more...Today Singular.jl 0.18.7 has been released.
Read more...Today AlgebraicSolving.jl 0.3.3 has been released.
Read more...Today Polymake.jl 0.11.0 has been released.
Read more...Today Polymake.jl 0.10.0 has been released.
Read more...Today Singular.jl 0.18.6 has been released.
Read more...Today Singular.jl 0.18.5 has been released.
Read more...Today Singular.jl 0.18.4 has been released.
Read more...Today Polymake.jl 0.9.1 has been released.
Read more...Today Singular.jl 0.18.3 has been released.
Read more...Today AlgebraicSolving.jl 0.3.2 has been released.
Read more...Today Singular.jl 0.18.2 has been released.
Read more...Today Singular.jl 0.18.1 has been released.
Read more...Today Singular.jl 0.18.0 has been released.
Read more...Today Singular.jl 0.17.0 has been released.
Read more...Today AlgebraicSolving.jl 0.3.1 has been released.
Read more...Today Polymake.jl 0.9.0 has been released.
Read more...Today Singular.jl 0.16.0 has been released.
Read more...Today AlgebraicSolving.jl 0.3.0 has been released.
Read more...Today Singular.jl 0.15.0 has been released.
Read more...Today Polymake.jl 0.8.3 has been released.
Read more...Today Polymake.jl 0.8.2 has been released.
Read more...Today Singular.jl 0.14.0 has been released.
Read more...Today Polymake.jl 0.8.1 has been released.
Read more...Today Singular.jl 0.13.1 has been released.
Read more...Today Singular.jl 0.13.0 has been released.
Read more...Today AlgebraicSolving.jl 0.2.2 has been released.
Read more...Today AlgebraicSolving.jl 0.2.1 has been released.
Read more...Today AlgebraicSolving.jl 0.2.0 has been released.
Today Singular.jl 0.12.0 has been released.
Read more...Today polymake 4.7 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Singular.jl 0.11.0 has been released.
Read more...Today Polymake.jl 0.8.0 has been released.
Read more...Today Singular.jl 0.10.1 has been released.
Read more...Today Polymake.jl 0.7.2 has been released.
Read more...Today Singular.jl 0.10.0 has been released.
Read more...Today Singular.jl 0.9.3 has been released.
Read more...Today Polymake.jl 0.7.1 has been released.
Read more...Today Singular.jl 0.9.2 has been released.
Read more...Today Polymake.jl 0.7.0 has been released.
Read more...Today polymake 4.6 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Singular.jl 0.9.1 has been released.
Read more...Today Polymake.jl 0.6.2 has been released.
Read more...Today Singular.jl 0.9.0 has been released.
Read more...Today Polymake.jl 0.6.1 has been released.
Read more...Today Singular.jl 0.8.0 has been released.
Read more...Today Polymake.jl 0.6.0 has been released.
Read more...We are pleased to announce the release of GAP.jl 0.7.0, a major update to the GAP.jl package which provides full bidirectional access to the GAP computer algebra system from the Julia language and vice-versa.
Read more...Today polymake 4.5 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Singular.jl 0.7.0 has been released.
Read more...Today Polymake.jl 0.5.8 has been released.
Read more...Today Singular.jl 0.6.0 has been released.
Read more...Today Singular.jl 0.5.9 has been released.
Read more...Today Polymake.jl 0.5.7 has been released.
Read more...We are pleased to announce the release of GAP.jl 0.6.0, a major update to the GAP.jl package which provides full bidirectional access to the GAP computer algebra system from the Julia language and vice-versa.
Read more...Today Singular.jl 0.5.8 has been released.
Read more...Today Singular.jl 0.5.6 has been released.
Read more...Today Singular.jl 0.5.5 has been released.
Read more...Today Singular.jl 0.5.4 has been released.
Read more...Today Polymake.jl 0.5.6 has been released.
Read more...Here is an overview of the changes in this release of Singular.jl:
Read more...Today Singular.jl 0.5.3 has been released.
Read more...Today polymake 4.4 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Singular.jl 0.5.2 has been released.
Read more...Today Singular.jl 0.5.1 has been released.
Read more...Today Singular.jl 0.5.0 has been released.
Read more...Today Singular.jl 0.4.7 has been released.
Read more...Today Singular.jl 0.4.6 has been released.
Read more...Here is an overview of the changes in this release of Singular.jl:
Read more...We are pleased to announce the release of new versions of AbstractAlgebra (0.13.0) and Nemo (0.20.0).
Read more...Today Singular.jl 0.4.5 has been released.
Read more...Today Polymake.jl 0.5.5 has been released.
Read more...Today Polymake.jl 0.5.4 has been released.
Read more...We are pleased to announce the release of new versions of AbstractAlgebra (0.12.0), Nemo (0.19.0) and Hecke (0.9.0).
Read more...Today polymake 4.3 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Polymake.jl 0.5.3 has been released.
Read more...Today Polymake.jl 0.5.2 has been released.
Read more...Today Polymake.jl 0.5.1 has been released.
Read more...Today polymake 4.2 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Polymake.jl
v0.5.0 has been released!
Today Polymake.jl 0.5.0 has been released.
Read more...We are pleased to announce the release of Nemo.jl 0.18.0, a major update to the Nemo.jl package.
Read more...Today Polymake.jl 0.4.3 has been released.
Read more...We are pleased to announce the release of AbstractAlgebra.jl 0.10.0, a major update to the AbstractAlgebra.jl package.
Read more...Today polymake 4.1 has been released. It can be downloaded from polymake.org, and the release notes can be found here.
Today Polymake.jl 0.4.2 has been released.
Read more...We are pleased to announce the release of GAP.jl 0.4.0, a major update to the GAP.jl package which provides full bidirectional access to the GAP computer algebra system from the Julia language and vice-versa.
Read more...Today Polymake.jl 0.4.1 has been released.
Read more...Polymake.jl
0.4 has been
released!
Today Polymake.jl 0.4.0 has been released.
Read more...Today Polymake.jl 0.3.3 has been released.
Read more...Oscar is now registered as an official Julia package! This means that
starting with version 0.2.0, the Oscar.jl
Julia package can be
installed as conveniently as any other Julia package.
Today Polymake.jl 0.3.2 has been released.
Read more...Update to match changes in Nemo and AbstractAlgebra, mainly
Among the changes are:
Today Polymake.jl 0.3.1 has been released.
Read more...The GAP project is happy to announce the release of the new major version 4.11.0 of GAP. This is the first GAP release to ship with fully working Julia integration. Simultaneously, GAP.jl 0.3.0 was released, which now requires and installs GAP 4.11.0.
Read more...Today Polymake.jl 0.3.0 has been released.
Read more...This is a major release streamlining and simplifying the architecture of the project.
Among the largest changes are: the usage of polymake-4.0
and CxxWrap-0.9.0
which rises our requirement to c++-17
compatible compiler as well. More importantly we took the direct perspecive of integrating Polymake.jl
into Oscar
in this cycle.
This is to announce the release of polymake 4.0. As indicated by the major version bump, this brings several (breaking) changes, especially for authors of polymake extensions and users of the polymake callable library:
Read more...Today, as mandated by our various funding sources, I tagged Singular.jl
v0.1.0 and registered it as an official Julia package and tagged the
Oscar.jl
v0.1.0 release.
Many fixes to make Nemo more consistent to support the Oscar 0.1.0 release.
Many minor changes to support the first Oscar release
This is to announce the release of polymake 3.6. Major new features are:
Read more...Today Polymake.jl 0.2.2 has been released.
Read more...Today Polymake.jl 0.2.1 has been released.
Read more...Today Polymake.jl 0.2.0 has been released.
Read more...This is a technical release focused on bringing more functionality to Julia.
With Polymake-v0.2.0
we require polymake-3.5
.
This is to announce the release of polymake 3.5. Major new features are:
Read more...We are pleased to announce the release of GAP.jl 0.2.0, the first major update to the GAP.jl package which provides full bidirectional access to the GAP computer algebra system from the Julia language and vice-versa.
This is to announce the release of polymake 3.4, which is actually available since 15 April. So you will find it already in some of the quicker Linux distributions such as arch.
Read more...After a major restructuring of GAPJulia (our GAP-Julia integration part) it is now a Julia package, named GAP.jl, which means it can be installed via
Read more...Recently we encountered an interesting computational problem that seems to be difficult for existing computer algebra systems, but which we have been able to complete with components of the Oscar computer algebra system we are implementing.
Read more...We have launched the first version of the OSCAR project’s website. It contains news about the OSCAR project, blog posts about different parts and features of the project, a large collection of examples, and lots of resources about the parts of the OSCAR project.
This is the first in a series of blog posts we will be writing on aspects of the new OSCAR Computer Algebra System we are writing.
Read more...