Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Tentative answer : on Sage 10.5.rc0, I get :

sage: j_00_simplified
1/2*sqrt(a^2 + eta)*sqrt(a^2 + zeta)/(sqrt(a^2 + xi)*sqrt(a + b)*sqrt(a + c)*sqrt(-a + b)*sqrt(-a + c))

and, BTW,

sage: (j_00.canonicalize_radical().factor()/j_00).canonicalize_radical()
1

What is your version of Sage ? On what platform ?

Tentative answer : on Sage 10.5.rc0, I get :

sage: j_00_simplified
1/2*sqrt(a^2 + eta)*sqrt(a^2 + zeta)/(sqrt(a^2 + xi)*sqrt(a + b)*sqrt(a + c)*sqrt(-a + b)*sqrt(-a + c))

and, BTW,

sage: (j_00.canonicalize_radical().factor()/j_00).canonicalize_radical()
1

What is your version of Sage ? On what platform ?

EDIT : Your expression is symmetric in b anc c, therefore so your simplified expression should be ; the "correct" expression you propose is not...