Talk ebernburg #4738
Open
Talk ebernburg #4738
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- address comments - decide about cyclic defect groups of blocks without using the group
…aracteristic. (#4615) * enable use good reduction for pushforward_on_algebraic_lattice * pass on is_isomorphism in composition * enable use good reduction for pushforward_on_algebraic_lattice --------- Co-authored-by: HechtiDerLachs <[email protected]>
* Relax a signature to e.g. allow a matrix group over ZZ act on QQMatrix * Move `map_word(::WeylGroupElem, ::Vector)` to src * Add `(dual_)geometric_representation(::WeylGroup)` * Add `is_finite_order(::WeylGroupElem)` and `order(::WeylGroupElem)` * Enable group conformance tests * Add `matrix_group_type`, `ZZMatrixGroup`, and `QQMatrixGroup`
Evaluating a rational function seems natural enough, but implementing it here is type piracy.
* Use imperative form in (first sentence of) docstrings As suggested by the Julia manual, see <https://docs.julialang.org/en/v1/manual/documentation/>
* Remove calls to gap_to_julia in SLP code * Replace a gap_to_julia call by `syllables`
* Remove `gap_to_julia` in character table translation * Remove `gap_to_julia` tests
* Include linear solving doc page in the Oscar docs * Bumb AA compat
Co-authored-by: antonydellavecchia <[email protected]>
…4697) This broken shortcut was originally added in a joint project with Henriksson and Helminck. The idea was that groebner_basis should not do anything for binomial ideals if the weight vector lies on the tropicalization (the weight vector test was missing). While this is mathematically correct, it is on second thought not a good idea if groebner_basis for binomial ideals behaves differently than for general ideals, so I am taking this out.
|
The history is kind of messed up here (lots of unrelated commits from master contained in the PR). And with #4628 now merged, it would make sense to rebase this on top of the latest master to get a better grasp of the contained changes. |
fieker
force-pushed
the
Talk_Ebernburg
branch
2 times, most recently
from
297479c to
86babd6
Compare
|
hopefully the history is "sorted" how it got messed up: no idea |
|
already a lot better, thanks! There are only two more serialization related commits in there |
|
On Wed, Mar 19, 2025 at 10:10:06AM -0700, Lars Göttgens wrote:
lgoettgens left a comment (oscar-system/Oscar.jl#4738)
already a lot better, thanks! There are only two more serialization related commits in there
its a rebase on current (5min ago) master...
… --
Reply to this email directly or view it on GitHub:
#4738 (comment)
You are receiving this because you authored the thread.
Message ID: ***@***.***>
|
|
Now this has some conflicts, I would guess due to #4742. |
(embarassing error...)
This currently works: A = matrix_algebra(QQ, 2) k, a = quadratic_field(3) T = matrix(k, 2, 2, [rand(k, -10:10) for i=1:4]) F = free_module(k, 2) h = [hom(F, F, T*matrix(x)*inv(T)) for x = gens(A)] a = gmodule(nothing, h) Oscar.GModuleFromGap._minimize(a) should be back over QQ (as a number field)
and start with Algebras...(in _minimize)
there is a non-trivial example in the doc string
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.