Frédéric Chapoton

icon indicating a website link https://irma.math.unistra.fr/~chapoton/

Results 158 comments of Frédéric Chapoton

use Parent in quotient rings too

strange: ``` sage: FiniteDimensionalAlgebra(k,[],assume_associative=True) Finite-dimensional algebra of degree 0 over Finite Field of size 5 ``` is not in `Rings()` and also ``` sage: C = AlgebrasWithBasis(QQ).example() sage: C in...

use Parent in quotient rings too

and now we have that ``` sage: from sage.categories.magmatic_algebras import * sage: cat1 = MagmaticAlgebras(GF(3)).FiniteDimensional().WithBasis() sage: cat2 = Algebras(GF(3)).FiniteDimensional().WithBasis() sage: cat1.Associative() Category of finite dimensional associative algebras with basis over...

use Parent in quotient rings too

I have now made a simple first step in #38375.

simplify a little bit "_an_element_" in parent_old.pyx

@edgarcosta : would you please review again ?

simplify a little bit "_an_element_" in parent_old.pyx

thanks !

Clean affine permutation

do you talk about this kind of change: - return type(self)(self.parent(), inv, check=False) + return self.parent()._element_constructor_(inv, check=False) ?

Clean affine permutation

I have stepped back to using "type(self)"

numerical failure in exp_integral

still there in SageMath version 10.2.beta3,

reactive the code style checks using ruff

@tobiasdiez please review !

reactive the code style checks using ruff

Damn, this is not run by the linter ! Why is there another configuration for the linter ?