Ask Your Question

FrédéricC's profile - activity

2025-06-28 13:02:13 +0200 commented question modular_form() hangs in sage 9.5 but works in older sage version

This hangs when trying to compute the rank src/sage/modular/modsym/ambient.py(188)__init__() 186 formula =

2025-06-14 07:50:04 +0200 commented question modular_form() hangs in sage 9.5 but works in older sage version

This seems to hang inside ModularSymbols(283312, sign=1, base_ring=QQ)

2025-06-14 07:46:13 +0200 commented question modular_form() hangs in sage 9.5 but works in older sage version

Note that the conductor is rather large : sage: E.conductor() 283312

2025-06-13 07:17:55 +0200 edited question modular_form() hangs in sage 9.5 but works in older sage version

modular_form() hangs in sage 9.5 but works in older sage version Here is an example a = 16 b = 7 E = EllipticCurve([a,b

2025-06-12 21:40:38 +0200 edited answer Working with polynomials with non-commuting variables and symbolic rational coefficients

something like this ? sage: F = algebras.Free(SR,list('AB')) sage: A, B = F.gens() sage: (sin(x)*A+B)**2 sin(x)^2*A^2 +

2025-06-12 21:37:21 +0200 commented question total_space dimension?

I have made https://github.com/sagemath/sage/pull/40249 so please review.

2025-06-08 10:50:01 +0200 received badge  Good Answer (source)
2025-05-20 13:45:40 +0200 received badge  Nice Answer (source)
2025-05-18 20:28:28 +0200 answered a question Working with polynomials with non-commuting variables and symbolic rational coefficients

something like this ? sage: F = algebras.Free(SR,list('AB')) sage: A, B = F.gens() sage: (sin(x)*A+B)**2 sin(x)^2*A^2 +

2025-05-14 07:44:43 +0200 edited answer Output of RootedTrees()

You can change them to planar trees and then use existing methods: sage: a = RootedTrees().an_element() sage: b = Roote

2025-05-14 07:44:23 +0200 edited answer Output of RootedTrees()

You can change them to planar trees and then use existing methods: sage: a = RootedTrees().an_element() sage: b = Roote

2025-05-14 07:44:05 +0200 answered a question Output of RootedTrees()

You can change them to planar trees and then use existing methods: sage: a = RootedTrees().an_element() sage: b=RootedT

2025-04-23 21:10:59 +0200 edited answer How do I install a GAP package in Sage?

sage -i gap_packages should do the trick. EDIT: now rather use make gap_packages But on a Mac, I dunno : Macs may have

2025-04-08 07:56:03 +0200 commented question Receiving "SignalError: Illegal instruction" calculating `jordan_form` for matrices larger than 4x4.

Which Os, in which version ? How did you install ?

2025-04-06 08:57:25 +0200 commented question Type error using PIL - Integer doesn't support round method

First install the latest version of sage, namely sage 10.6.

2025-03-21 19:39:20 +0200 edited question Problem installing package

Problem installing package I am trying to download the database of reflexive 4d lattice polytopes using the command !sa

2025-02-07 23:16:37 +0200 received badge  Nice Answer (source)
2025-02-07 13:11:07 +0200 edited answer Lattice of maximum-length antichains in sage

Like this def dilworth(P): def lequal(A, B): return all(any(P.is_lequal(a, b) for b in B) for a in A) w

2025-02-07 11:54:08 +0200 answered a question Lattice of maximum-length antichains in sage

Like this def dilworth(P): def lequal(A, B): return all(any(P.is_lequal(a, b) for b in B) for a in A) d

2025-02-07 08:15:35 +0200 commented answer Lattice of maximum-length antichains in sage

False and True should take capitals

2025-02-06 18:47:48 +0200 commented question connexion impossible sage-jupyter

Catalina n'est plus supporté par Pomme depuis septembre 2022. Il ne faut pas s'etonner que les choses ne marchent plus.

2025-02-06 13:23:09 +0200 commented question connexion impossible sage-jupyter

Il faut suivre precisement et avec soin toutes les instructions donnees sur la page https://doc.sagemath.org/html/en/ins

2025-02-04 10:46:14 +0200 received badge  Nice Answer (source)
2025-02-04 10:00:05 +0200 commented question How to inherit from polytopes

probably using Polyhedra_base

2025-02-03 18:56:01 +0200 edited answer Obtaining a poset from a list of vectors in Sage

Like this sage: V = [vector(v,immutable=True) for v in U] sage: Poset([V,lambda v,w:bool(w-v in V)]) Finite poset conta

2025-02-03 18:55:20 +0200 answered a question Obtaining a poset from a list of vectors in Sage

Like this sage: V = [vector(v,immutable=True) for v in U] sage: Poset([V,lambda x,y:bool(x-y in V)]) Finite poset conta

2025-01-27 10:26:55 +0200 edited question can not run without coxeter3. how to deal with it

can not run without coceter3. how to deal with it RuntimeError Traceback (most recent call

2025-01-23 08:03:23 +0200 commented question change the color of Polyhedron object

See https://commons.wikimedia.org/wiki/File:Associaedre_bleu.png

2025-01-09 17:45:27 +0200 received badge  Nice Answer (source)
2025-01-07 19:32:43 +0200 commented question Getting a specific Coefficient of a non-commuting formal power series in multiple variables

in the completion, maybe you first need to extract the homogeneous component using f[d]

2025-01-07 18:08:19 +0200 commented answer getting a specific Coefficient of a non-commuting monomial in multiple variables

Well, this is expected, but maybe things can be enhanced.

2025-01-07 13:41:41 +0200 answered a question getting a specific Coefficient of a non-commuting monomial in multiple variables

like this A.<a,b> = FreeAlgebra(QQ, 2) f = a + a * b - b * a aa,bb=A.monoid().gens() f.coefficient(aa*bb)

2025-01-07 08:32:02 +0200 commented answer How to implement Non Commuting Multivariate Formal Power Series rings in SageMat

I have edited my answer to explain how to define the generators.

2025-01-07 08:31:18 +0200 edited answer How to implement Non Commuting Multivariate Formal Power Series rings in SageMat

Like this sage: F = algebras.Free(QQ, ['a','b'], degrees=(1,1)) sage: FF = F.completion(); FF Lazy completion of Free A

2025-01-06 19:48:31 +0200 commented answer How to implement Non Commuting Multivariate Formal Power Series rings in SageMat

Note that this is quite recent and probably not much tested.

2025-01-06 18:28:02 +0200 answered a question How to implement Non Commuting Multivariate Formal Power Series rings in SageMat

Like this sage: F = algebras.Free(QQ, ['a','b'], degrees=(1,1)) sage: F.completion() Lazy completion of Free Algebra on

2024-12-15 23:33:01 +0200 received badge  Nice Answer (source)
2024-12-14 10:44:44 +0200 commented question Solving multiple system of equation in sagemath

and use PolynomialRing + Groebner bases and not the symbolic ring.

2024-12-13 09:17:32 +0200 answered a question Best way to extract weighted homogenous parts of a polynomial lying on its Newton polytope

Like this, maybe: sage: x, y = polygens(QQ, 'x,y') sage: R = x.parent() sage: f = x^3*y+2*x^2*y^2+x*y^3+y^7+x^5 sage: P

2024-12-13 09:12:52 +0200 commented question Make PyCharm recognise the Sage python interpreter (where to find Sage Python executable)

maybe sage -sh then which python ? On Ubuntu, this tells you the place.

2024-12-06 19:56:38 +0200 edited question is there a bug in height pairing matrix?

is there a bug in height pairing matrix? Hello all, I tried the following on sagecell online K.<z2> = NumberFiel

2024-12-06 15:23:20 +0200 commented question Can we symbolically derive geodesic equation for a given metric using its Christoffel symbols?

it would help if you write the code you have in a concrete small case.

2024-12-02 09:13:57 +0200 received badge  Famous Question (source)
2024-11-25 14:50:32 +0200 commented question Integral points on a cubic curve in 2 variables which is not in Weierstrass form

In your case, the elliptic curve el has rank one, so you can define a, = el.gens() and look at the inverse images of the

2024-11-25 13:41:23 +0200 commented question Integral points on a cubic curve in 2 variables which is not in Weierstrass form

If you do not say "morphism=False", then you will get the isomorphism and can ask for its inverse map.

2024-11-24 09:36:54 +0200 received badge  Nice Answer (source)
2024-11-22 11:18:23 +0200 commented question How to split a function into separate components (according to their variables)?

like this sage: f.operands()

2024-11-21 13:35:56 +0200 commented answer How to simplify Bessel functions ?

like this sage: SHV.apply_map(lambda s:s.simplify(algorithm="sympy")) sage: SHV Vector field on the 3-dimensional diffe

2024-11-20 12:28:25 +0200 received badge  Nice Answer (source)
2024-11-20 08:04:22 +0200 commented question How to check whether a group is Frobenius in Sagemath?

What is a Frobenius permutation group ?