Jesus Martinez Garcia's profile - activity

Labelling vertices in a displayed polytope I am working with the following code: def make_polytope(v,d): n = len(v)

Labelling vertices in a displayed polytope I am working with the following code: def make_polytope(v,d): n = len(v)

Sorry I was not clear. I am removing the 'accepted' answer in the hope that someone comes with a solution but I really a

Ohhh I see. Thank you. I think the issue is that I am (should be?) working on a graded ring where negatively graded part

Actually, it doesn't work as intended. In input: R.<L, E, t, c> = PolynomialRing(QQ) D=(1-c)*(L+3*E) Dt=D-t*E Dt

This is what I import: from sage.symbolic.integration.integral import definite_integral from sage.symbolic.assumptions

I tried this but it fails: AttributeError: 'Add' object has no attribute '_sympy_'

I have this code:

var("L E t c")
D=(1-c)*(L+3*E)
Dt=D-t*E
Dt_E=Dt*E;
Dt_E=Dt_E.expand()
print(Dt_E.subs(E*L==1/2, E*E==-1/6, L*L==-1/2, E*L*c==c*1/2))

I get:

-E*L*c + 1/2*c + 1/6*t

I get the same if I drop the last equality. What do I have to do for ELc to be replaced by c/2?

Thank you. That's quite clever. May I ask if these rings are commutative by default?

I answer myself. If I add - in front of the ELC substitution, it works. I suppose this happens because for some reason s

Trouble with subs I have this code: var("L E t c") D=(1-c)*(L+3*E) Dt=D-t*E Dt_E=Dt*E; Dt_E=Dt_E.expand() print(Dt_E.su

@achrzesz Yeah, I think that is what I want, assuming that "J" displays as an ideal. I don't have Sage in this computer

@achrzesz Thanks for your message. Is there a way to define in https://doc.sagemath.org/html/en/reference/schemes/sage/

@achrzesz Thanks for your message. Is there a way to define in https://doc.sagemath.org/html/en/reference/schemes/sage/s

@achrzesz Thanks for your message. Is there a way to define in https://doc.sagemath.org/html/en/reference/schemes/sage/s

@Emmanuel Charpentier Thanks for your question. I mean the first option. I have edited accordingly. My apologies..

@EmmanuelCharpentier Thanks for your question. I mean the first option. I have edited accordingly. My apologies..

@Emmanuel-Charpentier Thanks for your question. I mean the first option. I have edited accordingly. My apologies..

@achrzesz Thanks for your message. Is there a way to define in https://doc.sagemath.org/html/en/reference/schemes/sage/s

@emmanuel Thanks for your question. I mean the first option. I have edited accordingly. My apologies..

Computing singular locus I have a bunch of homogeneous polynomials in 5 variables with specific arbitrary (symbolic) non

Computing singular locus I have a bunch of homogeneous polynomials in 5 variables with specific arbitrary (symbolic) non

Computing singular locus I have a bunch of homogeneous polynomials in 5 variables with specific arbitrary (symbolic) non

Computing singular locus I have a bunch of homogeneous polynomials in 5 variables with specific arbitrary (symbolic) non

Mmmm, not sure what happened, so I have asked to delete this question.

Representing subsets of a set as arrays of bits for quick comparison I am writing a program which, among many tasks, nee

Turning integers into booleans for rapid comparison of subsets I am writing a program which, among many tasks, needs to