oscar-system/Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
JuliaNOASSERTION
Pinned issues
Issues
- 2
Banner could show more information when version is "DEV"
#3680 opened by thofma - 4
Oscar installation fails (because of Hecke)
#3685 opened by fralembo - 6
- 11
- 0
Running booktests creates auxiliary files
#3673 opened by lgoettgens - 1
flint 3 update roadmap
#3652 opened by thofma - 3
Normal form fails for ideals in GF(2)(t)[x,y]
#3665 opened by simonbrandhorst - 0
- 9
Printing changes attributes
#3653 opened by fieker - 7
- 3
Segmentation fault during garbage collection in Julia 1.10 during OSCAR test suite
#3633 opened by fingolfin - 3
is_dominant for morphisms of (some) schemes
#3533 opened by thofma - 9
inconsistent directions of isomorphisms
#3547 opened by ThomasBreuer - 7
gens for GL
#3634 opened by fieker - 1
Add `regular_gmodule`
#3475 opened by fingolfin - 3
Currently, the function `grassmann_pluecker_ideal` returns an ideal in a non-graded polynomial ring. Shouldn't we rather use a standard graded ring?
#3632 opened by wdecker - 0
Make toric blow functionality more convenient
#3641 opened by HereAround - 0
Short term TODOs for FTheoryTools
#3635 opened by apturner - 2
Add a "caching policy" section to OSCAR dev docs
#3616 opened by fingolfin - 1
Explain usage of `@show_name`, `@show_special`, `@show_special_elem`, `extra_name`, etc. in printing dev docs
#3581 opened by fingolfin - 8
- 2
Precompilation Error: Method definition number_of_generator in module AbstractAlgebra overwritten by Oscar
#3576 opened by jo-ap - 10
efficiency problem with `show` methods
#3593 opened by ThomasBreuer - 2
- 0
Fix docs of `vertices` and `rays`
#3592 opened by lkastner - 1
Oscar as a dependency prints polymake banner
#3502 opened by lgoettgens - 0
Use `@show_name`, `@show_special`, `@show_special_elem`, `extra_name` systematically in our packages
#3582 opened by fingolfin - 6
Missing unary operators: `no method matching +(::AbstractAlgebra.Generic.RationalFunctionFieldElem{QQFieldElem, QQMPolyRingElem})`
#3538 opened by YueRen - 1
Aqua's persistent task test sometimes fails on nightly
#3553 opened by lgoettgens - 3
GAP fails to load on WSL. InitError: GAP variable _JULIAINTERFACE_ERROR_BUFFER not bound. Possibly related to #1955. Caused by JULIA_NUM_THREADS=8
#3548 opened by orebas - 2
Normalization returns a corrupted ring
#3488 opened by simonbrandhorst - 1
Add `map_word(g::PcGroupElem, genimgs::Vector)`
#3468 opened by fingolfin - 3
CI, doctest: occasional differences in output of cellular_primary_decomposition(I) cause error
#3529 opened by afkafkafk13 - 7
Crash on `small_generating_set`
#3499 opened by HechtiDerLachs - 2
- 0
Serialization (loading) failing for Vector
#3531 opened by thofma - 1
- 6
missing input sanity check for `hom`
#3486 opened by YueRen - 1
- 1
- 1
Broken polyhedron over `Float64`
#3520 opened by YueRen - 3
Order of matrix group does not terminate
#3482 opened by joschmitt - 17
Printing of `MonomialBasis` is broken
#3515 opened by lkastner - 4
- 3
Elements of `SubObjectIterator{Union{PointVector, RayVector}}` forget their type after broadcasting
#3461 opened by YueRen - 2
`is_conjugate_with_data(Omega::GSet, omega1, omega2)` missing from "Group Actions" section in the manual
#3454 opened by fingolfin - 4
Large monomial exponents freezes Oscar
#3484 opened by oskarhenriksson - 0
Improve documentation for finitely presented groups
#3471 opened by fingolfin - 0
- 0
Invariant theory: document whether our conventions match (or not) Sturmfels, Derksen/Kemper, Disquisitiones Arithmetica, Magma, ...
#3455 opened by fingolfin