Releases: oscar-system/Singular.jl
Releases · oscar-system/Singular.jl
v0.5.1
Singular v0.5.1
Closed issues:
- Initializing a
n_transExt
with anfmpz
broken in Julia 1.3 (#395)
Merged pull requests:
- functionality depending on next libsingular-julia version (#385) (@tthsqe12)
- add some needed gc protection (#399) (@tthsqe12)
- Add downstream (Oscar) testing (#401) (@thofma)
- saturation: also return number of iterations (#402) (@hannes14)
- Import and export constant_coefficient, add test. (#404) (@wbhart)
- CI: test with Julia 1.6 (#406) (@fingolfin)
v0.5.0
v0.4.7
v0.4.6
Singular v0.4.6
Summary of changes
The main change in this release is that it enables several Singular extensions which were not available before. Specifically, these are now enabled (if you need others, let us know)
- gfanlib
- syzextra
- customstd
- interval
- subsets
- loctriv
- gitfan
- freealgebra
Closed issues:
- Libraries are missing, e.g. dmodideal.lib (#378)
Merged pull requests:
v0.4.5
Singular v0.4.5
Summary of changes
- Singular.jl should no longer crash on the new rings that Singular and its
libraries can create, or at least it should crash in far fewer cases. At a lower
level, this means that we have the internal functioncreate_ring_from_singular_ring
for turning alibSingular.ring_ptr
into a bona fideRing
. - Singular's algebraic extensions of
QQ
andFp
can now be constructed via the
functionAlgebraicFieldExtension
. This function takes a univariateFunctionField
and a minimal polynomial in the function field to create the algebraic extension. - Various small bugs have been fixed.
Closed issues:
- isnegative in src/number/n_Zp.jl calls isless, which is not defined (#50)
- Radical of an ideal (#101)
- Provide an up to date version of the documentation (#125)
- double definition (#308)
Merged pull requests:
- creating rings from the rings that singular creates (#336) (@tthsqe12)
- CI: test against Julia 1.6, too (#346) (@fingolfin)
- First try on calling Singular libraries with arrays as arguments (#358) (@raulepure)
- Remove ad hoc arithmetic functions (#365) (@fingolfin)
- Remove nonsense isnegative methods (#366) (@fingolfin)
- fix banner - it was 82 chars wide (#367) (@tthsqe12)
- start algebraic extensions (#369) (@tthsqe12)
- Bump AA/Nemo version and prepare for 0.4.5 (#374) (@thofma)
v0.4.4
Singular v0.4.4
Closed issues:
- Manuals for release are missing (#340)
- Regression: libraryfuncdictionary.jl regeneration can invalidate precompilation results (#344)
Merged pull requests:
- Cleanup code related to convert_return_value (#337) (@fingolfin)
- Add basic .editorconfig (#342) (@fingolfin)
- Only rewrite libraryfuncdictionary.jl if its content changed (#345) (@fingolfin)
- Use n_Delete instead of n_Delete_Q (#347) (@fingolfin)
- Set parent in constructors (#348) (@fingolfin)
- no more show_minus_one, needs_parentheses (#351) (@tthsqe12)
- Unify finalizers for number types (#352) (@fingolfin)
- Fix bogus promote_rule(n_Q, n_Q) = n_Z (#353) (@fingolfin)
- Unify construction / coercion of number types (#354) (@fingolfin)
- Minor test tweak (#355) (@fingolfin)
- Conversion Nemo.Mpoly to Singular.spoly (#356) (@raulepure)
- Update to new Singular_jll and libsingular_julia_jll (#360) (@fingolfin)
- Add error message for Windows users (#361) (@thofma)
- Run more systematic tests for Singular coefficient domains; fix a few bugs this uncovered (#362) (@fingolfin)
- Implement characteristic for ZZ and QQ (#363) (@fingolfin)
- Add promotion rules for fmpz -> Singular types (#364) (@fingolfin)
v0.4.3
Singular v0.4.3
Closed issues:
- Slower factorization (#274)
- Factorization bug (?) (#294)
- How to convert a matrix into a module? (#316)
- Singular.jl@master display
1*x1
instead of the usual behaviorx1
(#322) - There is no direct way to construct a Singular matrix (#324)
- different behavior for polynomial ring constructor depending if univariate or multivariate (#328)
Merged pull requests:
- Lift std (#313) (@fieker)
- Use newer Documenter.jl (#318) (@fingolfin)
- CompatHelper: bump compat for "AbstractAlgebra" to "0.12" (#319) (@github-actions[bot])
- Update to latest Singular_jll (#321) (@fingolfin)
- Expressify the number types (#323) (@thofma)
- Convert an smatrix into an smodule (#325) (@mohamed-barakat)
- Fix the package banner to show correct Singular version. (#327) (@fingolfin)
- installed reduce for smodules (#329) (@mohamed-barakat)
- define AbstractAlgebra.expressify on n_GF (#330) (@tthsqe12)
- Reduce number of inner constructors (#331) (@fingolfin)
- fix segfault when calling FunctionField on empty vector (#332) (@rfourquet)
- fix DomainError() calls, which require parameters (#333) (@rfourquet)
- Revise VERSION_NUMBER computation (#334) (@fingolfin)
- Simplify abspath + joinpath (#335) (@fingolfin)
- Add code coverage for doctests (#339) (@fingolfin)
- Make base_ring type stable (#341) (@thofma)
- CI: reduce the number of macOS jobs (#343) (@fingolfin)
v0.4.2
Singular v0.4.2
Closed issues:
- Flint integers bug? (#57)
- convert / coerce n_Z into AbstractAlgebra.ZZ and/or Nemo.ZZ (#80)
- coercion of Nemo.QQ into Singular.QQ (#86)
- sideal.eliminate bug (#167)
- Check for C++ compiler being recent enough and supporting C++14 (for CxxWrap.jl) (#181)
- Inconsistency for conversion (#188)
- Random (?) test failure in
test/ideal/sideal-test.jl:278
(#219) - ensure 4ti2 integration works even if user doesn't have lib4ti2_jll installed in global environment (#236)
- Building Singular.jl sometimes segfaults (#249)
- Singular.jl fails to precompile (#257)
- Getting rid of deps/build.jl or at least minimize what it does. (#268)
- Segment fault/Bus error occurred (r:1600338617) (#270)
- Incompatible library version: libfactory.dylib requires version 15.0.0 or later, but libgmp.dylib provides version 14.0.0 (#271)
- Error building Singular.jl on aarch64 (#272)
- Error during initialization of module
Singular_jll
on Julia 1.4 - macOS-latest - x64 (#275)
Merged pull requests:
- use AbstractAlgebra's printing for n_unknown (#269) (@tthsqe12)
- fix #80, more integer conversions (#276) (@rfourquet)
- integer.md: fix typo (#277) (@rfourquet)
- fix a bunch of constructors taking a Nemo.fmpz (#278) (@rfourquet)
- N_GField: add a
gen
method (#279) (@rfourquet) - add ==(::n_Z, ::Nemo.fmpz) (#282) (@rfourquet)
- add rand(::N_ZpField, ...) (#283) (@rfourquet)
- CompatHelper: bump compat for "AbstractAlgebra" to "0.11" (#284) (@github-actions[bot])
- fix #86, more conversions from/to n_Q (#285) (@rfourquet)
- add rand for ZZ (#286) (@rfourquet)
- add rand for N_GField (#287) (@rfourquet)
- add rand for QQ (#288) (@rfourquet)
- add a bunch of (::MatrixSpace)(...) constructors (#289) (@rfourquet)
- import some AbstractAlgebra/Nemo functions to not create new ones (#290) (@rfourquet)
- fix "docstring oddities" (#291) (@rfourquet)
- docs: fix one error and update Documenter to 0.23 (#292) (@rfourquet)
- Various documentation tweaks (#293) (@fingolfin)
- update TagBot.yml (#295) (@rfourquet)
- manual: fix "no docs found for ..." (#296) (@rfourquet)
- add CI github actions (#297) (@rfourquet)
- Remove .travis.yml, update README badge (#298) (@fingolfin)
- remove undefined exports (#300) (@rfourquet)
- CI.yml: also build documentation and run doctests (#301) (@rfourquet)
- Submit coverage data again (#302) (@fingolfin)
- Get rid of deps/build.jl (#303) (@fingolfin)
- Cleanup regenerate_libraryfuncdictionary (#304) (@fingolfin)
- Improve 4ti2 wrapper scripts (#305) (@fingolfin)
- Replace execute() with simpler code (yay Julia) (#306) (@fingolfin)
- add lift_std (based on id_LiftStd) (#307) (@hannes14)
- Project.toml: remove unnecessary dependencies (#309) (@fingolfin)
- Tweak GitHub Actions config (#314) (@fingolfin)
v0.4.1
v0.4.0
Singular v0.4.0
Closed issues:
- Switch Singular.jl from SingularBuild to Singular_jll; create and use `libsingular_jll.jl (#254)
Merged pull requests: