Tags: lgoettgens/Oscar.jl
Tags
[Diff since v0.7.1](oscar-system/Oscar.jl@v0.7.1...v0.8.0) **Closed issues:** - Document mpoly stuff (oscar-system#123) - Deprecate `listperm`, instead add constructors (oscar-system#282) - Create experimental PR using GroupsCore.jl (oscar-system#399) - docs: "introduction" vs "interface" (oscar-system#515) - `subgroup` and `sub` (oscar-system#667) - CI crash in `test/Rings/mpoly_affine_algebras_test.jl` with Julia 1.7.0-rc1 (oscar-system#733) - Remove workarounds in Polytopes after next libpolymake_julia release (oscar-system#758) - gap_to_julia (oscar-system#794) - Implement simplicial complexes (oscar-system#829) - Rename, document and advertise `@declare_other` and `set_special/get_special` (oscar-system#843) - Missing `Base.deepcopy_internal` for Group interface (oscar-system#860) - Allow `FiniteField(fmpz(5),2)` and `GF(fmpz(5), 2)` and `GF(fmpz(5), 2, "t")` (oscar-system#863) - funny spelling of function names in toric geometry section (oscar-system#877) - Fix `abelian_group` to accept `fmpz` (oscar-system#884) - allow ishomogeneous for more types of polynomials (oscar-system#909) - vertex-facet incidences for polyhedra (maybe others, too) unnecessarily expensive (oscar-system#915) - What to do for object clashes? (oscar-system#922) - CI: Codecov for experimental (oscar-system#963) - Ideals in generic polynomial rings (oscar-system#988) - missing `ordering` function for graded rings (oscar-system#989) - Polynomial build complex does not throw out of bounds error (oscar-system#991) - Improve show methods for Toric Line Bundles (oscar-system#1017) - README.md example is broken (oscar-system#1030) **Merged pull requests:** - add a bit more compliant rand methods for GAPGroup (oscar-system#402) (@kalmarek) - Add more monomial and module orderings (oscar-system#723) (@wbhart) - added `character_field` (oscar-system#836) (@ThomasBreuer) - Cache computed properties for toric varieties (oscar-system#839) (@HereAround) - PolyhedralGeometry: Compute triangulations of polytope (oscar-system#848) (@lkastner) - Graded modules (oscar-system#858) (@AlexD97) - automorphism groups of GrpAbFinGen (oscar-system#876) (@simonbrandhorst) - Add PolyhedralComplex as new object (oscar-system#887) (@lkastner) - Put most toplevel import/using statements into single file (oscar-system#892) (@fingolfin) - Tidy up invariant theory code (oscar-system#893) (@joschmitt) - docu modules continued (oscar-system#904) (@wdecker) - Localizations of affine algebras and affine schemes (oscar-system#905) (@HechtiDerLachs) - Improve some functions for modules (oscar-system#910) (@AlexD97) - Bib: add some missing DOIs, minor tweaks (oscar-system#913) (@fingolfin) - Start to correct the binomials. (oscar-system#914) (@tthsqe12) - Developers Corner (oscar-system#918) (@alexej-jordan) - Added the `AutomorphismGroupElem{T} where T' and first methods (oscar-system#919) (@StevellM) - First draft of simplicial complexes (oscar-system#921) (@micjoswig) - Fix degree computation for filtered rings (oscar-system#923) (@AlexD97) - Bump dependencies (oscar-system#924) (@thofma) - Improve SubObjectIterator (BoundsError, re-naming, face(t)s) (oscar-system#925) (@alexej-jordan) - Improve type stability (oscar-system#927) (@fingolfin) - Make use of get_attribute! (oscar-system#928) (@fingolfin) - Improvements toric varieties (oscar-system#929) (@HereAround) - Torsion form orthogonal group gens (oscar-system#930) (@simonbrandhorst) - Use imperative in docstrings, as per Julia guidelines (oscar-system#931) (@fingolfin) - Edit especially ugly occurences of `is*` and `n*` (oscar-system#933) (@lkastner) - Require GAP 0.7.3 (oscar-system#934) (@fingolfin) - corrections to docu (oscar-system#935) (@wdecker) - Other minor improvements for toric varieties (oscar-system#940) (@HereAround) - New properties and attributes for toric line bundles (oscar-system#941) (@HereAround) - add accessors and constructors (oscar-system#942) (@fieker) - More grading (oscar-system#943) (@fieker) - Avoid needs_parentheses (oscar-system#945) (@fingolfin) - More work on GAP -> Oscar matrix conversion (oscar-system#946) (@fingolfin) - Addressing the issue from oscar-system#945 (oscar-system#947) (@HechtiDerLachs) - Wolfram (oscar-system#949) (@wdecker) - PolyhedralGeometry: improve compatibility with fmpz and fmpq types (oscar-system#950) (@benlorenz) - Fix conversion of negative GAP integers to fmpz (oscar-system#951) (@fingolfin) - Give instructions for how to cite OSCAR (oscar-system#953) (@fingolfin) - More G-module (oscar-system#954) (@fieker) - Galois (oscar-system#955) (@fieker) - Improve show for modules (oscar-system#956) (@AlexD97) - Remove obvious zeros from intersection of modules (oscar-system#957) (@AlexD97) - Use import.jl [UngradedModules.jl] (oscar-system#958) (@AlexD97) - Adjust to recent Hecke changes (oscar-system#959) (@thofma) - Introduce Zariski open sets of affine schemes. (oscar-system#961) (@HechtiDerLachs) - CI: update codecov/codecov-action to v2 (oscar-system#962) (@fingolfin) - add stuff to compute representations for PcGroups (oscar-system#964) (@fieker) - use the "new", sparse free_module only for MPoly (oscar-system#965) (@fieker) - Add experimental folder to coverage (oscar-system#967) (@thofma) - Documentation [UngradedModules.jl] (oscar-system#968) (@AlexD97) - More GAP -> Oscar conversions (oscar-system#969) (@fingolfin) - add tests for gmodules and move to Experimental (oscar-system#970) (@fieker) - first version of `schur_index` (oscar-system#971) (@ThomasBreuer) - Improve type stability/inference (oscar-system#974) (@fingolfin) - Improve SimplicialComplex (oscar-system#977) (@alexej-jordan) - amendments to oscar-system#965 (oscar-system#978) (@wdecker) - first attempt for `iso_gap_oscar` (oscar-system#979) (@ThomasBreuer) - Resolved max and min bifurcation via the word optimal (oscar-system#983) (@tbrysiewicz) - Adjust naming convention and minor cleanup (oscar-system#984) (@thofma) - Support MatrixGroup over integer matrices (oscar-system#992) (@fingolfin) - Adjust docu to PR oscar-system#943 and more on graded rings (oscar-system#994) (@wdecker) - Mj/simplicial homology (oscar-system#996) (@micjoswig) - Delay Singular ring instantiation during ideal generation (oscar-system#998) (@ederc) - Improve showing toric varieties (oscar-system#999) (@lkastner) - Make parts of the groups code more Julia-ish (oscar-system#1001) (@fingolfin) - Fix promotion for graded polynomial rings (oscar-system#1002) (@thofma) - next iteration for `iso_oscar_gap` and `iso_gap_oscar` (oscar-system#1004) (@ThomasBreuer) - added `maximal_abelian_quotient` (oscar-system#1007) (@ThomasBreuer) - Remove Singular dependencies from msolve (oscar-system#1008) (@ederc) - Adjust docu to PR oscar-system#994 (oscar-system#1009) (@wdecker) - Allow more graded ops (oscar-system#1010) (@tthsqe12) - renamed `centre` to `center` (oscar-system#1011) (@ThomasBreuer) - Reacting to an old comment by @fingolfin (oscar-system#1012) (@wdecker) - improved some assertion messages (oscar-system#1014) (@ThomasBreuer) - polyhedral: g- and h-vectors (oscar-system#1016) (@micjoswig) - Wolfram (oscar-system#1018) (@wdecker) - fixed `centre` -> `center` in a test (oscar-system#1019) (@ThomasBreuer) - New module type file (see oscar-system#1013) (oscar-system#1021) (@AlexD97) - Added gelfand tsetlin polytope (oscar-system#1022) (@tbrysiewicz) - small additions concerning irrationalities (oscar-system#1024) (@ThomasBreuer) - Add restriction of codomain for abelian groups (oscar-system#1025) (@thofma) - bib: 'Pairs of Generators for Matrix Groups' is now on the arXiv (oscar-system#1027) (@fingolfin) - ToricVarieties: Bug fix (oscar-system#1028) (@HereAround) - Add etc/update_version.sh script (oscar-system#1029) (@fingolfin) - ToricVarieties: Improve show method for toric line bundles (oscar-system#1031) (@HereAround) - ToricVarieties: Resolve oscar-system#922 (oscar-system#1033) (@lkastner) - ToricVarieties: Computation of Betti numbers limited to complete, simplicial varieties (oscar-system#1034) (@HereAround) - PolyhedralGeometry: Deal with fine and star triangulations. (oscar-system#1035) (@lkastner) - support `deepcopy_internal` for group elements (oscar-system#1037) (@ThomasBreuer) - changed `compose` in `src/Groups` ... (oscar-system#1038) (@ThomasBreuer) - Adjust for GroupsCore conformance tests (oscar-system#1042) (@fingolfin) - Replace arbitrary 'authors' list by a generic entry (oscar-system#1043) (@fingolfin) - Fix README (oscar-system#1044) (@thofma) - Bump version of AA + Nemo + Singular + Hecke (oscar-system#1045) (@thofma) - More on gradings (oscar-system#1046) (@wdecker) - Remove deprecated function `listperm` (oscar-system#1050) (@fingolfin) - Tag new version 0.8.0 (oscar-system#1052) (@thofma)
[Diff since v0.7.0](oscar-system/Oscar.jl@v0.7.0...v0.7.1) **Closed issues:** - Add native support for Apple M1 (oscar-system#546) - Schemes (oscar-system#561) - polymake warning: couldn't run 4ti2: zsolve -q (oscar-system#691) - New Oscar release (oscar-system#802) - could not initialize the perl interpreter -- julia 1.6.4 on macos (oscar-system#831) - PolynomialRing fails on print when trivial (oscar-system#834) - Internal stackoverflow julia master + MacOS (oscar-system#842) - Error running test suite due to polymake failure (oscar-system#854) - ehrhart Polynomials (oscar-system#896) **Merged pull requests:** - Unify iterators (oscar-system#798) (@alexej-jordan) - ToricVarieties: adapt to iterator changes to fix master (oscar-system#837) (@benlorenz) - First implementations for line bundles on toric varieties (oscar-system#838) (@HereAround) - CI: limit concurrency for PR builds but not for master (oscar-system#844) (@fingolfin) - Parametrizing rational plane curves (oscar-system#846) (@wdecker) - Don't access R.other directly (oscar-system#849) (@fingolfin) - Fix show methods to print to the given io (oscar-system#850) (@fingolfin) - Speed up PolyhedralGeometry tests (oscar-system#852) (@benlorenz) - move QabElem <-> GAP cyclotomics conversion (oscar-system#853) (@ThomasBreuer) - Fix deprecation warning (oscar-system#855) (@fingolfin) - Speed up primary invariants test (oscar-system#857) (@joschmitt) - Refactor some GAP<->Julia conversions (oscar-system#859) (@fingolfin) - Remove 'function' from docstrings (oscar-system#865) (@fingolfin) - Use string interpolation in more places (oscar-system#868) (@fingolfin) - More GAPWrap for type stability and better performance (oscar-system#869) (@fingolfin) - isometry groups of hermitian and quadratic lattices (oscar-system#870) (@simonbrandhorst) - Additional functionality requested from various people (oscar-system#871) (@lkastner) - docu for free modules (oscar-system#873) (@wdecker) - add build scripts. (oscar-system#874) (@fieker) - bib entry corrected (oscar-system#878) (@micjoswig) - input data fixes for neogb and msolve calls on Apple M1 (oscar-system#882) (@ederc) - Remove unconditional @info in msolve (oscar-system#883) (@thofma) - Wolfram (oscar-system#885) (@wdecker) - get/set_special -> get/set_attribute (oscar-system#891) (@fingolfin) - Make ehrhart_polynomial univariate (oscar-system#897) (@lkastner) - Tag 0.7.1 (oscar-system#898) (@thofma) - CI: run automatically only for master and PRs, add workflow_dispatch for manual CI runs (oscar-system#899) (@benlorenz)
[Diff since v0.6.0](oscar-system/Oscar.jl@v0.6.0...v0.7.0) **Closed issues:** - supported Julia versions (oscar-system#80) - Better feedback when users try to use our packages under Windows (oscar-system#235) - Scary but harmless error about ferret binary missing (oscar-system#283) - build_doc expects that Documenter, DocumenterCitations, DocumenterMarkdown are installed (oscar-system#340) - confusion on the return of collect(permutation group) (oscar-system#345) - Constructors for polyhedral objects (oscar-system#388) - Oscar doesn't precompile with Julia 1.7.0-beta2 (oscar-system#504) - docs: weirdness in navbar with docs included from Hecke (oscar-system#513) - docs: why do some filenames have a prefix like `ca_`, `pg_`, `it_`? (oscar-system#514) - error installing Ferret: gmp.h not found (oscar-system#540) - singular_ring not working for finite prime fields (oscar-system#564) - Problems with $ in singular_ring (oscar-system#574) - singular_ring woes (oscar-system#575) - New binaries with flint 2.8 (oscar-system#589) - docs: add a "FAQ" or "Common questions & troubleshooting" section to the manual (oscar-system#640) - Something goes wrong with divides in quotient rings (oscar-system#645) - AlgebraHomomorphism doesn't seem to copy its own list of generators (oscar-system#655) - Add docstring for `describe(G::GAPGroup)` and add it to the manual (oscar-system#657) - (documentation) univariate polynomials: normalise function example (oscar-system#662) - Polymake lattice_points not in the documentation? (oscar-system#663) - `number_moved_points` does not know that it returns `fmpz` (oscar-system#666) - Some functionality missing for rings (oscar-system#672) - Unifying and streamlining Polytopes interfaces (oscar-system#677) - Add `IntegerUnion = Union{Integer, fmpz}` somewhere (oscar-system#679) - `convert` for `GAP.GapObj` (oscar-system#681) - Invariant ring and polynomial ring with complex coefficients (oscar-system#687) - docs: remove reference to Oscar.Integer, Oscar.Rational; update or remove `IntegerTypes.svg` and `RationalTypes.svg` (oscar-system#688) - Affine way of thinking causes confusion with trivial hyperplane (oscar-system#715) - Require Julia >= 1.6 ?! (oscar-system#716) - CI tests with Julia nightly fail precompiling Singular.jl (oscar-system#721) - CI tests segfault on master with Julia 1.7, nightly, since merge of Modules PR oscar-system#461 (oscar-system#735) - Segfault in libcurl when `Download.download` is used by GAP.jl (oscar-system#773) - Test failures, possible caused by GAP.jl 0.7.1 (oscar-system#774) - Allow constructing ideals with no generators (oscar-system#784) - Test suite speed regression (oscar-system#788) - HomotopContinuation.jl/OSCAR compatibility issue (oscar-system#792) - Equality test for zero ideals fails (oscar-system#795) - zsolve problems on macOS (oscar-system#801) - msolve dependency broken? (oscar-system#814) **Merged pull requests:** - Modules [WIP] (oscar-system#461) (@AlexD97) - Property iterators (oscar-system#578) (@alexej-jordan) - Change the presentation of the documentation for plane curves (oscar-system#592) (@delphinepol) - Interface to the Singular library Paraplanecurves.lib (oscar-system#605) (@delphinepol) - docs: unify filenames (oscar-system#621) (@fingolfin) - Combine incidencematrix (oscar-system#622) (@alexej-jordan) - docu more concise (oscar-system#625) (@wdecker) - Add type assertion to a bunch of isFOO functions (oscar-system#626) (@fingolfin) - Simplify VERSION_NUMBER computation (oscar-system#627) (@fingolfin) - more information for the non-expert (oscar-system#628) (@wdecker) - Update binomial_ideals.jl - symbols for variables given by the user (oscar-system#630) (@CarloSircana) - Change default for Qab to use ζ (oscar-system#631) (@thofma) - adjusting to oscar-system#631 (oscar-system#633) (@wdecker) - Return isomorphism in isomorphic_matrix_group_over_finite_field (oscar-system#634) (@thofma) - Invariant theory (oscar-system#635) (@joschmitt) - added textbook references (oscar-system#637) (@ThomasBreuer) - more functions documented (oscar-system#639) (@wdecker) - Add Molien series for the non-modular case (oscar-system#641) (@thofma) - Use bibtool to organize bibliography (oscar-system#642) (@fingolfin) - Introduce graphs as Oscar objects (oscar-system#644) (@lkastner) - Grade the polynomial ring in an invariant ring (oscar-system#646) (@joschmitt) - Fixes divides for quotient rings (oscar-system#647) (@ederc) - Fix loading Oscar when offline (oscar-system#650) (@fingolfin) - Fix for modular groebner basis (oscar-system#651) (@thofma) - Temporarily pin Hecke version in the doc build (oscar-system#653) (@thofma) - Fix a problem with MappedWord (oscar-system#654) (@joschmitt) - fundamental invariants, invariant rings as affine algebras (oscar-system#656) (@wdecker) - Fix oscar-system#655 (oscar-system#661) (@thofma) - Fix Oscar (oscar-system#665) (@thofma) - Purge `Oscar.Integer` (oscar-system#668) (@thofma) - Minor change (oscar-system#669) (@delphinepol) - Fix type instability in `number_moved_points` (oscar-system#670) (@thofma) - Improve some GAP related code (oscar-system#671) (@fingolfin) - Clean up docs/oscar_references.bib (oscar-system#673) (@fingolfin) - Added functionalities for non plane curves (oscar-system#675) (@delphinepol) - Add some defensive asserts in MPolyQuo* constructors (oscar-system#678) (@thofma) - Add conversion from oscar `GapGroup` and `GapGroupElem` to `GAP.GapObj`. (oscar-system#680) (@FriedrichRober) - Add IntegerUnion (oscar-system#686) (@fingolfin) - Finish the integer purge (oscar-system#689) (@tthsqe12) - Remove broken Coveralls integration (oscar-system#692) (@fingolfin) - Refactor parts of the groups code (oscar-system#693) (@fingolfin) - Add Singular's implementation of King's algorithm (oscar-system#694) (@joschmitt) - Reynolds operator and bases of invariant rings (oscar-system#695) (@joschmitt) - Fix performance regression (oscar-system#698) (@thofma) - Issue/677 (oscar-system#700) (@lkastner) - fix typos in orderings (oscar-system#701) (@fieker) - Gal qt (oscar-system#702) (@fieker) - bump dep versions (oscar-system#706) (@tthsqe12) - docs: fix incorrect `Pages` entries in @contents blocks (oscar-system#708) (@fingolfin) - Replace Vector{<:Any} by Vector (oscar-system#709) (@fingolfin) - added a helper to convert certain GAP matrices (oscar-system#710) (@ThomasBreuer) - Remove CompatHelper, it just creates noise (oscar-system#711) (@fingolfin) - Feature/polytopes/new standard constructions (oscar-system#717) (@OguzhanYueruek) - first attempt to `stabilizer` for groups (oscar-system#718) (@ThomasBreuer) - added a docstring for `describe(G::GAPGroup)` (oscar-system#719) (@ThomasBreuer) - Require Julia >= 1.6 (oscar-system#720) (@fingolfin) - move some code from `experimental/GaloisGrp` (oscar-system#724) (@ThomasBreuer) - first version of GITFans in Oscar (oscar-system#725) (@ThomasBreuer) - Merging the code of Polymake/ into Polytopes/ (oscar-system#726) (@lkastner) - group characters stuff (oscar-system#727) (@ThomasBreuer) - Polymake: bump compat to 0.6 for new polymake version 4.5 (oscar-system#728) (@benlorenz) - Update to GAP 0.7 (oscar-system#729) (@fingolfin) - Replace many uses of GAP.gap_to_julia (oscar-system#734) (@fingolfin) - SubQuo: add type annotation to fix crash with julia 1.7 and nightly (oscar-system#738) (@benlorenz) - Import JToric code (oscar-system#739) (@fingolfin) - Move docs for sub(G::GAPGroup, elems) into docstring (oscar-system#740) (@fingolfin) - Remove hash(::FreeModuleElem), already in AA 0.22.2 (oscar-system#741) (@fingolfin) - Drop unused Requires.jl dependency (oscar-system#742) (@fingolfin) - start docu for monomial orderings (oscar-system#743) (@wdecker) - First draft for FAQ, style guide, diffs to other systems (oscar-system#744) (@fingolfin) - Toric variety structs (oscar-system#745) (@lkastner) - Introduce Cyclic Quotient Singularities (oscar-system#746) (@lkastner) - Polytopes: Minor improvements (oscar-system#747) (@lkastner) - Documentation for strong Gröbner bases over the integers (oscar-system#748) (@ederc) - Use `IncidenceMatrix` for `PolyhedronOrConeIterator` (oscar-system#749) (@alexej-jordan) - fixed `QabElem`, improved printing of char. tables (oscar-system#752) (@ThomasBreuer) - overhaul after implementing King's algorithm (oscar-system#754) (@wdecker) - Extended toric functionality (oscar-system#755) (@HereAround) - unified docu of quotient rings and affine algebras into affine algebr… (oscar-system#757) (@wdecker) - move functions into Hecke for this branch (oscar-system#759) (@fieker) - Kemper's algorithm for primary invariants of minimal degree (oscar-system#761) (@joschmitt) - Refactor order(::MatrixGroup) (oscar-system#762) (@fingolfin) - Introduce computation of toric ideals (oscar-system#764) (@lkastner) - Short paragraph on constructing polynomials. (oscar-system#765) (@wdecker) - Rename accessor to underlying polymake object (oscar-system#767) (@lkastner) - Localization framework for commutative rings (oscar-system#768) (@HechtiDerLachs) - update singular to v0.8 (oscar-system#775) (@tthsqe12) - Change perfect_group to return permutation groups by default (oscar-system#776) (@fingolfin) - docs: workflow to cleanup doc preview after closing PR (oscar-system#778) (@benlorenz) - ToricVarieties: Move docs under Algebraic Geometry, minor improvements (oscar-system#779) (@lkastner) - Issue/772 and SubObjectIterator (oscar-system#780) (@alexej-jordan) - Introduces msolve functionality to OSCAR (oscar-system#781) (@ederc) - Faq: WIP (oscar-system#782) (@fieker) - initial step towards matrix groups in char. zero (DRAFT) (oscar-system#783) (@ThomasBreuer) - Some code unification (oscar-system#785) (@lkastner) - Documentation by Wolfram on ungraded modules (oscar-system#786) (@AlexD97) - Add birkhoff, pyramid, bipyramid to manual (oscar-system#789) (@fingolfin) - move Cohomology to GModule to experimental (oscar-system#793) (@fieker) - get rid of the `mat_iso` field in matrix groups (oscar-system#796) (@ThomasBreuer) - changed `show` for `MatrixGroupElem` ... (oscar-system#797) (@ThomasBreuer) - fix for `ring_iso_oscar_gap` (oscar-system#799) (@ThomasBreuer) - Improve documentation of toric varieties (oscar-system#800) (@HereAround) - Adjust doctest to latest Singular.jl (oscar-system#804) (@fingolfin) - Fix oscar-system#788 (Test suite speed regression) (oscar-system#805) (@AlexD97) - Fix direct product of modules (oscar-system#806) (@AlexD97) - Some tweaks to the GAP code (oscar-system#807) (@fingolfin) - improve `ring_iso_oscar_gap` for finite fields (oscar-system#808) (@ThomasBreuer) - CI: cancel superfluous CI runs for pull requests (oscar-system#810) (@fingolfin) - Fixes oscar-system#795 (oscar-system#811) (@thofma) - Fewer nested rings in tests, and groebner over immutables (oscar-system#812) (@tthsqe12) - Tweak the "cancel" workflow (oscar-system#813) (@fingolfin) - Improvements (and minor extension) for toric varieties (oscar-system#815) (@HereAround) - Minor tweaks to the group actions code (oscar-system#816) (@fingolfin) - support empty lists of group generators (oscar-system#817) (@ThomasBreuer) - CI: use cancel-in-progress (oscar-system#818) (@fingolfin) - Optimize some calls into GAP (oscar-system#819) (@fingolfin) - Implement group of torusinvariant Cartier divisors and the Picard group (oscar-system#820) (@HereAround) - Fix (work around...) oscar-system#784 (oscar-system#821) (@joschmitt) - small changes in preparation of docu (oscar-system#822) (@wdecker) - Fix minor bugs (oscar-system#823) (@AlexD97) - Require GAP 0.7.2 (oscar-system#824) (@fingolfin) - Fix some matrix(...) call relying on soon to be changed method (oscar-system#825) (@thofma) - Fill in some Hecke stubs (oscar-system#826) (@thofma) - Require Singular 0.9.0 (oscar-system#827) (@tthsqe12) - Rework folder structure and some minor improvements to PolyhedralGeometry (oscar-system#828) (@lkastner) - overhauling the commutative algebra docu for release (oscar-system#830) (@wdecker) - Bump Hecke version to 0.10.25 (oscar-system#832) (@thofma) - Version 0.7.0 (oscar-system#833) (@fingolfin)
[Diff since v0.5.2](oscar-system/Oscar.jl@v0.5.2...v0.6.0) **Closed issues:** - Groups: Replace adhoc linear algebra code (oscar-system#407) - iszero duplicate (oscar-system#417) - Absolute factorization docstring example failing (oscar-system#420) - Documentation broken (oscar-system#422) - OSCAR website should link to docs (oscar-system#443) - Don't forget to fix singular_ring(::NmodRing) (oscar-system#444) - Random error in FreeModules-graded-test.jl (oscar-system#451) - Introduce (resp. import from Hecke) `coefficient_ring` for our polynomial rings (including decorated) (oscar-system#454) - Ideal membership (oscar-system#485) - inexplicable behaviour of QabField (oscar-system#491) - bug in `hilbert_polynomial` (oscar-system#505) - docs: collapse all top-level entries in the navigation by default (oscar-system#512) - docs: ordering of top-level entries (oscar-system#516) - Missing functionality for quotients of graded rings (oscar-system#526) - Kroki (oscar-system#529) - Determinants of matrices with polynomial entries (oscar-system#545) - problem with building the Oscar documentation (oscar-system#547) - Printing roots of unity (oscar-system#552) - segmentation fault primary decomposition over number field (oscar-system#557) - No singular_ring for finite fields (oscar-system#566) - geometric_genus(C::ProjectivePlaneCurve{S}) is wildy type unstable (oscar-system#572) - Importing Oscar breaks display of Vectors in Pluto notebooks (oscar-system#597) - docs: disable doctests by default, allow enabling (oscar-system#604) - `galois_group` problems (oscar-system#613) **Merged pull requests:** - Binomial ideals (oscar-system#401) (@CarloSircana) - Projective elliptic curves and points on it (oscar-system#411) (@delphinepol) - Bump version to 0.5.3-DEV (oscar-system#415) (@thofma) - Don't run doctest of upstream packages (oscar-system#416) (@thofma) - add mpoly-parametric file for Q(t)[x] (oscar-system#418) (@tthsqe12) - Remove duplicate method for `iszero(I::MPolyIdeal)` (oscar-system#419) (@fingolfin) - Nestings (oscar-system#421) (@tthsqe12) - Fix documentation build (+ tweaks) (oscar-system#423) (@thofma) - Mat elim (oscar-system#425) (@GDeFranceschi) - homogenous -> homogeneous (oscar-system#428) (@fingolfin) - access to GAP's "tester" and "setter" functions (oscar-system#431) (@ThomasBreuer) - small changes in Docu (oscar-system#433) (@wdecker) - Remove the module name from the docstring (oscar-system#435) (@thofma) - Bugfix in "noether_normalization" (oscar-system#436) (@raulepure) - various changes in docu (oscar-system#438) (@wdecker) - small change suggest by @rfourquet (oscar-system#439) (@wdecker) - Fix binomial primary decomposition (oscar-system#440) (@CarloSircana) - Export MPolyQuoElem for better printing (oscar-system#441) (@thofma) - Bump dependencies (oscar-system#442) (@thofma) - added `labelled_matrix_formatted` (oscar-system#445) (@ThomasBreuer) - Decorate MPolyElem_dec with another type paramter (oscar-system#446) (@thofma) - Begin new structure docu CA (oscar-system#447) (@wdecker) - Normal form (oscar-system#448) (@ederc) - Improvements on isunital function (oscar-system#450) (@CarloSircana) - Removed homogenization.jl (oscar-system#452) (@delphinepol) - simple tests for ideals (oscar-system#453) (@wdecker) - Groebner fixes (oscar-system#455) (@ederc) - Fix oscar-system#451 (oscar-system#456) (@thofma) - correction + addition (oscar-system#457) (@wdecker) - include binomial_ideals.jl (oscar-system#458) (@CarloSircana) - Fix for binomial primary decomposition (oscar-system#459) (@CarloSircana) - add upper_bound_theorem in polytopes (oscar-system#460) (@OguzhanYueruek) - add interface, protoptype, to Singular fancy orderings (oscar-system#462) (@fieker) - Extend PolynomialRing constructors (oscar-system#463) (@thofma) - Wolfram (oscar-system#464) (@wdecker) - Wolfram2 (oscar-system#465) (@wdecker) - Adapted genus for curves to recent changes (oscar-system#466) (@delphinepol) - Reorder include statements (oscar-system#467) (@thofma) - Polytopes: Initial documentation (oscar-system#468) (@lkastner) - fix some nesting bugs (oscar-system#469) (@tthsqe12) - Primality proving (oscar-system#470) (@delphinepol) - more on quotient rings, various, docu (oscar-system#471) (@wdecker) - add absolute_primary_decomposition over QQ (oscar-system#472) (@tthsqe12) - Restructured docu (oscar-system#473) (@wdecker) - Clarify groebner assure (oscar-system#474) (@tthsqe12) - Two trivial changes (oscar-system#476) (@fingolfin) - Added the available docstrings for Groups (oscar-system#477) (@ThomasBreuer) - start docu binomial ideals (oscar-system#478) (@wdecker) - Fix binomial ideals (oscar-system#479) (@CarloSircana) - Update Algebra Homomorphisms (oscar-system#481) (@raulepure) - split `groups.md` into several files (oscar-system#482) (@ThomasBreuer) - Bump dependencies (oscar-system#486) (@thofma) - fix coordinates to return graded polys (oscar-system#487) (@fieker) - fixes leading_ideal stuff (see issue oscar-system#485) (oscar-system#489) (@ederc) - deepcopy bug fixes (oscar-system#490) (@tthsqe12) - Remove illegal == for QabField (oscar-system#492) (@thofma) - add interface to Conway polys in flint (oscar-system#493) (@fieker) - small changes affine algebras and Docu (oscar-system#494) (@wdecker) - added an index to the Oscar documentation (oscar-system#495) (@ThomasBreuer) - Use DocumenterCitations >= 0.2.5 for docs (oscar-system#496) (@fingolfin) - changed/fixed references (oscar-system#498) (@ThomasBreuer) - started docu invariant theory (oscar-system#500) (@wdecker) - Add docs/README.md (oscar-system#501) (@fingolfin) - try to automate and improve the doc building. WIP (oscar-system#502) (@fieker) - Some minor doc tweaks (oscar-system#503) (@fingolfin) - Basic functionality for quotient rings (oscar-system#506) (@ederc) - corrected hilbert_polynomial (oscar-system#507) (@wdecker) - Wolfram (oscar-system#509) (@wdecker) - First attempt for a documentation for the PlaneCurveModule (oscar-system#510) (@delphinepol) - Use @cite in two more places (oscar-system#511) (@fingolfin) - basic function field support (oscar-system#519) (@8d1h) - docs: reorder top-level entries (oscar-system#521) (@fingolfin) - docs: collapse level 1 in the navbar (oscar-system#522) (@fingolfin) - Refactor code for building the documentation (oscar-system#524) (@fingolfin) - Small fix for AlgHom (oscar-system#527) (@raulepure) - Fix nmod ring (oscar-system#528) (@tthsqe12) - mostly cosmetics (oscar-system#530) (@wdecker) - Fix return type of homogenous_components (oscar-system#531) (@thofma) - Fix coercion into quotient rings (oscar-system#532) (@thofma) - Fix evaluation for graded polynomials (oscar-system#533) (@thofma) - Fix promotion (oscar-system#534) (@thofma) - Rename function to obtain underlying abelian group (oscar-system#535) (@thofma) - some doctest examples (oscar-system#537) (@wdecker) - Towards char 0 matrix groups in Oscar (oscar-system#538) (@joschmitt) - Make degree of zero elements throw (oscar-system#543) (@thofma) - fix divides for zero dividend (oscar-system#544) (@tthsqe12) - add "Introduction" sections to the documentation (oscar-system#549) (@ThomasBreuer) - docs: try harder to use the same module instances (oscar-system#550) (@fingolfin) - replaced more bib entries (oscar-system#551) (@ThomasBreuer) - Bump dependencies, ad some ad hoc methods and fix promote rules (oscar-system#555) (@thofma) - example absolut primary decomposition (oscar-system#556) (@wdecker) - Adjust AbstractAlgebra doc refs after recent rearrangement. (oscar-system#562) (@wbhart) - proper singular_ring(::AnticNumberField) (oscar-system#563) (@tthsqe12) - Minor changes to Plane Curve and Curve Divisor (oscar-system#565) (@delphinepol) - add singular_ring(::FqNmodFiniteField) (oscar-system#567) (@tthsqe12) - fix prining of QabElem (oscar-system#568) (@tthsqe12) - fix ideal printing (oscar-system#570) (@tthsqe12) - Clean up for abelian closure (oscar-system#571) (@thofma) - Fixed problem of stability of types for genus of curves (issue oscar-system#572) (oscar-system#579) (@delphinepol) - Fix typo in __init_JuliaData, simplify code (oscar-system#580) (@fingolfin) - introductary text (oscar-system#581) (@wdecker) - WIP: next step for documentation of groups (oscar-system#583) (@ThomasBreuer) - First interface for invariant theory of finite groups (oscar-system#584) (@joschmitt) - Upgrade to GAP.jl 0.6 (oscar-system#586) (@fingolfin) - Run CI tests with Julia 1.7 (oscar-system#587) (@fingolfin) - Fix AA version in the documentation (oscar-system#593) (@thofma) - changed the `rand` methods for groups and cosets ... (oscar-system#598) (@ThomasBreuer) - some more docu for invariant theory (oscar-system#599) (@wdecker) - Bump dependencies (oscar-system#600) (@thofma) - fixed `omega_group(d, q)` for odd `d` and even `q` (oscar-system#601) (@ThomasBreuer) - fix doctests in invariants (Array->Vector) (oscar-system#602) (@benlorenz) - docs: rework docs-project, allow doctest option (oscar-system#606) (@benlorenz) - more details on set-up in docu of invariant theory (oscar-system#607) (@wdecker) - Feature/polytopes/catalan_solid (oscar-system#608) (@OguzhanYueruek) - Improve isomorphic_group_over_finite_field (oscar-system#609) (@fingolfin) - Polytopes: Add SubdivisionOfPoints object (oscar-system#610) (@lkastner) - Docs/polytopes (oscar-system#611) (@tbrysiewicz) - Update Singular.jl to 0.6.0 (oscar-system#612) (@tthsqe12) - CI: enable color in docu workflow (oscar-system#614) (@fingolfin) - Enh/polytopes/normal cone (oscar-system#616) (@lkastner) - Polytopes: Further improve docs (oscar-system#619) (@lkastner) - Set version to 0.6 (oscar-system#620) (@thofma)
[Diff since v0.5.1](oscar-system/Oscar.jl@v0.5.1...v0.5.2) **Closed issues:** - Factoring polynomials over finite fields does not work. (oscar-system#188) - Error in factoring polynomials over QQ (oscar-system#211) - Make a new release, soon (oscar-system#234) - wrong type? (oscar-system#260) - ideal in quotient ring (oscar-system#263) - BoundsError: attempt to access 0-element Array{GrpAbFinGenElem,1} at index [1] (oscar-system#270) - Add a bibliography to our manual(s) (oscar-system#311) - Ensure CI also covers our doctests (oscar-system#323) - Coercing a vector into a perm group should fail if it is too long (oscar-system#371) - `direct_product` for groups should give the embedding / projection morphisms (oscar-system#372) - groebner_basis result is different to std (oscar-system#397) - Weird behaviour with all latest masters [maybe Oscar.Integer should be the same as Base.Integer] (oscar-system#403) **Merged pull requests:** - Oscar matrix (oscar-system#173) (@GDeFranceschi) - an experiment in mixing docs... (oscar-system#209) (@fieker) - Vect spaces (oscar-system#244) (@GDeFranceschi) - Jordan struct (oscar-system#268) (@GDeFranceschi) - collected stuff to compute Galois groups of type M_22 (oscar-system#273) (@fieker) - Set version to 0.5.2-DEV (oscar-system#284) (@thofma) - Add configuration for GitHub Codespaces (oscar-system#286) (@fingolfin) - Some cleanup and simplification to polytopes code (oscar-system#287) (@fingolfin) - Polytopes: support fmpz_mat, fmpq_mat in convex_hull (oscar-system#288) (@fingolfin) - Forms (oscar-system#290) (@GDeFranceschi) - Added some functionalities for polynomials using the corresponding Si… (oscar-system#292) (@delphinepol) - add normalise(::MPolyQuo) (oscar-system#293) (@tthsqe12) - powmod -> powermod. Addresses Nemo # 988 (oscar-system#294) (@wbhart) - Small fix in invariant (oscar-system#295) (@Pi-tree) - Try to fix resolvent (oscar-system#297) (@Pi-tree) - add basic qring ideal arithmetic (oscar-system#299) (@tthsqe12) - First version of polyhedral fans (oscar-system#300) (@lkastner) - permutations act on `fmpz` (oscar-system#302) (@ThomasBreuer) - add more functions related to primary decomposition (oscar-system#303) (@tthsqe12) - some functionality for G-sets (oscar-system#304) (@ThomasBreuer) - Small mpoly fixes (oscar-system#306) (@tthsqe12) - Transform form (oscar-system#307) (@GDeFranceschi) - split mpoly.jl into mpoly-ideal.jl (oscar-system#308) (@wdecker) - Refactor mpoly-graded-test.jl (oscar-system#309) (@thofma) - final touches (powering and intersect) (oscar-system#312) (@fieker) - Added functionalities for ProjCurveDivisor. (oscar-system#313) (@delphinepol) - fixes missing docstrings for ideal operations (oscar-system#314) (@ederc) - Refactor FreeModules-graded-test.jl, fix oscar-system#270 (oscar-system#315) (@thofma) - Extracting and documenting groebner functionality (oscar-system#316) (@ederc) - make documentation examples jldoctests (oscar-system#317) (@ederc) - further functionality for ideals (oscar-system#319) (@fieker) - fix intersection of multiple ideals (oscar-system#320) (@tthsqe12) - Address some issues (oscar-system#321) (@GDeFranceschi) - no more end-user docu for internal groebner-related functionality, (oscar-system#322) (@ederc) - Don't deploy docs twice in CI, don't deploy locally (oscar-system#324) (@fingolfin) - func with monomial orderings (oscar-system#325) (@fieker) - docs: use DocumenterCitations (oscar-system#326) (@rfourquet) - Radical membership and other functionality (oscar-system#327) (@fieker) - Early attempt on an interface for elliptic curves (oscar-system#328) (@delphinepol) - converts examples from docu to jldoctests in mpoly-ideals.jl (oscar-system#329) (@ederc) - move Hilbert stuff over to Wolfram (oscar-system#330) (@fieker) - various additions (oscar-system#333) (@wdecker) - base_ring(A), modulus(A) (oscar-system#334) (@wdecker) - Fix grade (oscar-system#335) (@fieker) - Wolfram (oscar-system#336) (@wdecker) - Bump AA/Nemo/Singular version (oscar-system#337) (@thofma) - Functionality for Hilbert data of affine algebras. (oscar-system#338) (@wdecker) - add normalize_with_delta (oscar-system#339) (@tthsqe12) - isfiltrated -> isfiltered (oscar-system#341) (@fingolfin) - Build documentation on GitHub hosted runner (oscar-system#342) (@fingolfin) - CI: don't cache Julia artifacts (oscar-system#343) (@fingolfin) - CI: enable doctests (oscar-system#344) (@fingolfin) - Documentation text on Hilbert functions and further improvements on docu (oscar-system#346) (@wdecker) - adjusted help texts of Noether normalization and normalization as wel… (oscar-system#350) (@wdecker) - New isometry groups (oscar-system#351) (@GDeFranceschi) - dded function isnormal + docu (oscar-system#352) (@wdecker) - A new try on algebra homomorphisms (oscar-system#354) (@raulepure) - Add eltype + tests (oscar-system#355) (@GDeFranceschi) - fixed `orbits` for `PermGroup` (oscar-system#357) (@ThomasBreuer) - Docu for Raul's improvement of algebra homomorphisms (oscar-system#358) (@wdecker) - Deprecate coeffs (oscar-system#359) (@wbhart) - Fixed problem with missing docstring (oscar-system#360) (@wdecker) - Added help text for Hilbert data (oscar-system#361) (@wdecker) - some (harmless) things in Galois Group (oscar-system#362) (@fieker) - Further functionality for AlgHoms (oscar-system#363) (@raulepure) - Fix some doctest issues (oscar-system#364) (@fingolfin) - new functionality for Hilbert data, algebra homs (by Raul), and respe… (oscar-system#365) (@wdecker) - Replaced x by t in representing Hilbert data (oscar-system#366) (@wdecker) - Transform form groups (oscar-system#368) (@GDeFranceschi) - Modified conversion of elements related to MPolyQuo (oscar-system#370) (@raulepure) - Replace map_coeffs -> map_coefficients. (oscar-system#375) (@wbhart) - Updating AlgHom and "subalgebra_membership" (oscar-system#376) (@raulepure) - Strat to document functionality on modules (oscar-system#377) (@wdecker) - Two issues fixed. (oscar-system#378) (@GDeFranceschi) - Improved docu for ideals (oscar-system#379) (@wdecker) - Adjusted docstrings to changes by Raul, improved docu of affine algebras (oscar-system#380) (@wdecker) - Added functions for homogenization (oscar-system#381) (@delphinepol) - Weierstrass form from an elliptic curve (oscar-system#382) (@delphinepol) - Remove tail for spolys in favour of a version implemented in AbstractAlgebra. (oscar-system#383) (@wbhart) - small adjustions (oscar-system#384) (@wdecker) - CI: test with Julia 1.6 (oscar-system#385) (@fingolfin) - Simplify matrix_manipulation.jl, add cleanup TODOs (oscar-system#386) (@fingolfin) - More references, tests, small things (oscar-system#387) (@wdecker) - Remove `normaliser` synonym for `normalizer`; deprecate listperm (oscar-system#390) (@fingolfin) - Use and require Singular 0.5.1 (oscar-system#391) (@fingolfin) - docs: consistently name 'Examples' section in docstrings (oscar-system#392) (@fingolfin) - Reorganizing the Polytopes code (oscar-system#393) (@lkastner) - Fix missing lc -> leading_coefficient, coeffs -> coefficients (oscar-system#394) (@thofma) - Remove (soon to be) deprecated Hecke functionality (oscar-system#395) (@thofma) - added saturation_with_index (oscar-system#396) (@wdecker) - Genus for plane curves (oscar-system#398) (@delphinepol) - Fix doctests (oscar-system#400) (@fingolfin) - start fractional_ideal (oscar-system#404) (@tthsqe12) - Fix oscar-system#403 (oscar-system#405) (@thofma) - typo (oscar-system#406) (@wdecker) - added `parent_type` methods for group elements (oscar-system#409) (@ThomasBreuer) - Fix duplicated function (now in Singular.jl) (oscar-system#412) (@thofma) - Bump Hecke version (oscar-system#413) (@thofma) - Bump OSCAR to 0.5.2 (oscar-system#414) (@thofma)
[Diff since v0.5.0](oscar-system/Oscar.jl@v0.5.0...v0.5.1) **Closed issues:** - Migrate all Oscar related Julia packages to use JLLs (oscar-system#109) - make some Singular functions accessible for Oscar objects (oscar-system#139) - inside Oscar, GAP's Browse package cannot be loaded (oscar-system#160) - Installation Fails (oscar-system#187) - Updating FLINT_jll (and other JLLs) across all OSCAR packages (oscar-system#193) - SLPolyRing not a ring? (oscar-system#195) - SLPoly (in Oscar) does not print (oscar-system#196) - Improve conversion between GAP larger integers and fmpz (oscar-system#202) - Polymake and Singular don't compile when installing Oscar v0.2.0 (oscar-system#205) - CI test failure: no method matching (::FlintRationalField)(::Singular.n_Q) (oscar-system#208) - is_dev tests are not run in CI (oscar-system#213) - divexact for decorated polynomials (oscar-system#223) - Fraction with decorated polynomials (oscar-system#226) - Failed to precompile with Julia 1.6.0-beta1 (oscar-system#237) - Coercion of elements in function fields (oscar-system#241) - conversion broken (oscar-system#248) - Eval for SLPoly wrong (oscar-system#250) - slpoly_ring (oscar-system#251) - evaluate SLPoly (oscar-system#253) - ferret.so: undefined symbol: _ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev (oscar-system#262) **Merged pull requests:** - introduce `on_points`, `on_tuples`, ... (oscar-system#127) (@ThomasBreuer) - More tests + functions for factors (oscar-system#142) (@GDeFranceschi) - Change Homomorphisms type (oscar-system#164) (@GDeFranceschi) - Jacobi functions for non-decorated polynomials (oscar-system#165) (@raulepure) - First attempt for affine plane curves (oscar-system#166) (@delphinepol) - Adapted groebner_basis command (oscar-system#167) (@raulepure) - added two functions (oscar-system#168) (@ThomasBreuer) - First try on localalization of multivariate polynomial rings (oscar-system#169) (@raulepure) - fixed an assignment in `MPolyIdeal` (oscar-system#170) (@ThomasBreuer) - CompatHelper: bump compat for "AbstractAlgebra" to "0.11" (oscar-system#171) (@github-actions[bot]) - added components related functions (oscar-system#172) (@delphinepol) - Added multiplicity related functions for affine plane curves (oscar-system#174) (@delphinepol) - fix "docstring oddities" (oscar-system#175) (@rfourquet) - update TagBot.yml (oscar-system#176) (@rfourquet) - Remove .travis and add github actions (oscar-system#177) (@thofma) - Fix import statement for julia 1.3 (oscar-system#179) (@thofma) - Module (oscar-system#180) (@dschaefetu-kl) - Change travis to github actions badge (oscar-system#181) (@thofma) - Fix README.md badge (oscar-system#182) (@fingolfin) - Tweak github actions (oscar-system#183) (@thofma) - Define a structure and some functionalities for projective plane curves (oscar-system#185) (@delphinepol) - Restore code coverage reporting (oscar-system#189) (@fingolfin) - Fix test failure in Julia 1.6, some cleanup (oscar-system#190) (@fingolfin) - Submit coverage data to coveralls, too (oscar-system#191) (@fingolfin) - permutation action on polynomials (oscar-system#192) (@ThomasBreuer) - Added multiplicity related functions for projective plane curves and a… (oscar-system#194) (@delphinepol) - first conversions between GAP and Nemo (oscar-system#197) (@ThomasBreuer) - move SLpoly in Oscar (oscar-system#198) (@rfourquet) - GH Actions: update to actions/checkout@v2, tweaks (oscar-system#199) (@fingolfin) - README.md: add Coveralls status badge (oscar-system#200) (@fingolfin) - SLPolyRing: A couple fixes to make it more usable (oscar-system#201) (@rfourquet) - Update to GAP 0.5 (oscar-system#203) (@fingolfin) - gens(G,i) -> gen(G,i) (oscar-system#207) (@fingolfin) - Load PlaneCurve code in OSCAR dev builds; use gen(R,1) (oscar-system#210) (@fingolfin) - Tests for PlaneCurves (oscar-system#212) (@delphinepol) - Revise how DEV mode is decided (oscar-system#214) (@fingolfin) - Update AbstractAlgebra, Nemo, Hecke to latest version (oscar-system#218) (@fingolfin) - Faster conversion GAP <-> fmpz (oscar-system#219) (@fingolfin) - Rename pkgdir to oscardir (oscar-system#220) (@fingolfin) - Overhaul GitHub Action settings (oscar-system#222) (@fingolfin) - Add some missing MPolyElem_dec method (oscar-system#224) (@thofma) - Deal with presence of Hecke.isregular (oscar-system#225) (@fingolfin) - Radical of ideals (oscar-system#227) (@raulepure) - Foward ad hoc operations on MPolyElem_dec (oscar-system#228) (@thofma) - Replace convert function (oscar-system#231) (@raulepure) - Created a structure for divisors on curves (oscar-system#233) (@delphinepol) - Fix is_dev for ]add Oscar#master (oscar-system#236) (@thofma) - Fix BlockSystems iterator (oscar-system#238) (@Pi-tree) - 1st draft at HowTo (oscar-system#239) (@fieker) - More helpful error message on Windows (oscar-system#240) (@thofma) - Add one(::MPolyQuo) and sort the code a bit (oscar-system#242) (@thofma) - Require Singular 0.4.4 (oscar-system#243) (@fingolfin) - New type BasicGAPGroupElem and related editing (oscar-system#246) (@GDeFranceschi) - add more doc (and fun) (oscar-system#247) (@fieker) - a new start... (oscar-system#249) (@fieker) - Fix some problems with orderings in groebner basis over Q (oscar-system#254) (@thofma) - Sl poly not m poly (oscar-system#255) (@fieker) - fix oscar-system#250, evaluate for SLPoly (oscar-system#256) (@rfourquet) - Experimental (oscar-system#257) (@fieker) - Paul (oscar-system#258) (@fieker) - sort the mess with isGB (oscar-system#259) (@fieker) - Some tweaks to the curves code (oscar-system#261) (@fingolfin) - Number fields as arbitrary multivariate quotients Q[x]/I (oscar-system#265) (@thofma) - adjusted GroupCharacters.jl (oscar-system#266) (@ThomasBreuer) - Curves: add missing parametric constructors, remove _assure_has_components (oscar-system#267) (@fingolfin) - Change order for groups to return fmpz by default (oscar-system#269) (@fingolfin) - Prepare for new version 0.5.1 (oscar-system#272) (@thofma) - [WIP] started process of merging OscarPolytopes into Oscar (oscar-system#274) (@tbrysiewicz) - Test against julia 1.6 (oscar-system#278) (@thofma) - Add missing exports for Polytopes (oscar-system#281) (@fingolfin)
## Oscar v0.5.0 [Diff since v0.4.0](oscar-system/Oscar.jl@v0.4.0...v0.5.0) **Closed issues:** - WARNING: import of Hecke.example into Oscar conflicts with an existing identifier; ignored. (oscar-system#97) - Oscar fails to precompile on Ubuntu (oscar-system#137) - installing Oscar is broken (oscar-system#151) - New Oscar release todo (oscar-system#152) **Merged pull requests:** - Manual groups (oscar-system#116) (@GDeFranceschi) - G-sets (oscar-system#119) (@fingolfin) - initial proposal of Oscar group characters (oscar-system#124) (@ThomasBreuer) - import StraightLinePrograms package (oscar-system#125) (@rfourquet) - Cosets changes (oscar-system#126) (@GDeFranceschi) - Update StraightLinePrograms subtree (oscar-system#130) (@rfourquet) - add CatSLP example (oscar-system#131) (@rfourquet) - Highlight Julia syntax in README (oscar-system#132) (@zlatanvasovic) - Isomorphic group (oscar-system#138) (@GDeFranceschi) - CompatHelper: bump compat for "AbstractAlgebra" to "0.10" (oscar-system#141) (@github-actions[bot]) - a few fixes and suggestions concerning groups (oscar-system#144) (@ThomasBreuer) - in (membership test) for groups (oscar-system#145) (@ThomasBreuer) - automorphisms of QabField() (oscar-system#147) (@ThomasBreuer) - show the complex conjugate value via overline (oscar-system#148) (@ThomasBreuer) - Add Oscar.@example with proper scoping (oscar-system#150) (@thofma) - Test 1.5 on travis (oscar-system#153) (@thofma) - allow fail in 1.3 (oscar-system#154) (@fieker) - Dschaefetu kl test (oscar-system#157) (@fieker) - support for quadratic subfields of QabField() (oscar-system#158) (@ThomasBreuer)
## Oscar v0.4.0 [Diff since v0.3.0](oscar-system/Oscar.jl@v0.3.0...v0.4.0) **Closed issues:** - Error while compiling Oscar v0.2.0 with Xcode >= 11.4 (oscar-system#82) - Oscar.build() fails with Oscar 0.3.0 due to a GMP issue with GAP.jl v0.3.5 (oscar-system#99) - Oscar tests crash on Julia 1.4.2 on Ubuntu (oscar-system#104) **Merged pull requests:** - import GAPGroups (oscar-system#84) (@GDeFranceschi) - More work on groups stuff, for Oscar demo (oscar-system#102) (@fingolfin) - Fix typos in ?Oscar help (oscar-system#103) (@wbhart) - Primary Decomposition via GTZ. (oscar-system#105) (@raulepure) - Fixed typo in Primary Decomposition Code (oscar-system#106) (@raulepure) - Some work on groups (oscar-system#107) (@fingolfin) - Work around compiler bug (oscar-system#110) (@thofma) - groups: interface to various GAP group libraries (oscar-system#113) (@fingolfin) - Groups: a few small suggestions (oscar-system#114) (@ThomasBreuer) - Travis: fix building & deploying the manual (oscar-system#115) (@fingolfin) - Update authors list (oscar-system#117) (@fingolfin)
## Oscar v0.3.0 [Diff since v0.2.0](oscar-system/Oscar.jl@v0.2.0...v0.3.0) **Closed issues:** - release 0.1.1 (oscar-system#76) - Setup Travis and Code coverage tracking (oscar-system#86) **Merged pull requests:** - Update README.md (oscar-system#85) (@fingolfin) - Update Travis settings, add Travis & Codecov badges to README.md (oscar-system#87) (@fingolfin) - Setup Travis and Code coverage tracking in README.md (oscar-system#88) (@mohamed-barakat) - Add CompatHelper action (oscar-system#91) (@fingolfin) - Update to latest Polymake.jl, Singular.jl (oscar-system#93) (@fingolfin) - Version 0.3.0 (oscar-system#96) (@fingolfin)
## Oscar v0.2.0 [Diff since v0.1.0](oscar-system/Oscar.jl@v0.1.0...v0.2.0) **Closed issues:** - Nemo bug? (oscar-system#54) - Status of Elliptic Curves package (oscar-system#75) **Merged pull requests:** - Rational numbers (oscar-system#74) (@wbhart) - Install TagBot as a GitHub Action (oscar-system#78) (@JuliaTagBot) - Oscar (oscar-system#79) (@fieker) - fix .travis.yml (oscar-system#81) (@fieker)
PreviousNext