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 ?
2 | No.2 Revision |
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...