Frédéric Chapoton
Frédéric Chapoton
I do not think that Nicolas is listening. Somewhere in our doc, it is written that one should be able to use the same axiom name in unrelated domains without...
Concerning question 1, I would not expect this to happen. Cocnerning question 2. Only advanced users can see that possible confusion, maybe they will know enough ? I am currently...
I do not exclude to introduce axioms for posets later. Maybe "Bounded" (having 0 and 1) would be the first one coming to my mind.
Would `ChainGraded` be a correct name ? I tried and failed to introduce a `ChainGraded` axiom for finite posets, sigh.
Thanks, Travis. Now I would prefer to do #41216 first, if this makes sense.
this triggers a doctest failure in src/sage/groups/cubic_braid.py ; to be investigated
@soehms : should the CubicBraidGroup(6) pass its test suite ? It is infinite, so cannot embed into a matrix group over a finite field. On vanilla sage: ``` sage: CubicBraidGroup(6).as_matrix_group(GF(3)(2)).category()...
It seems that using sympy always returns a "solution_dict" kind of answer: ``` sage: solve([x*x-y-2,y*y-x-4]) [[y == -1.9354322305229457, x == -0.25410169491525425], [y == 1.4625984251968505, x == -1.8608058608058609], [y == 2.472834067547724,...
and yes, it would be good to keep examples that are not duplicates
looks good to me. I will wait for the CI