Reduce (CSL, rev 6657), 10-Dec-2023 ...

1: 
2: 
lisp_dialect

swget

swtoggle

asltx

exprltx

itoa

array2flatls

arrayltx

asltx_marker

3: 

4: 
5: 
 off nat;

7: 


8: ;

9: solve({x+3y=7,y-x=1},{x,y});
{{x=1,y=2}}$


10: 


11: ;

12: solve({x^7-x^6+x^2=1},{x});
{x=root_of(x_**6 + x_ + 1,x_,tag_1),x=1}$


13: 


14: ;

15: solve({x^2=2x-1},{x});
{x=1}$


16: 


17: ;

18: on multiplicities;

19: 


20: ;

21: solve({x^2=2x-1},{x});
{x=1,x=1}$


22: 


23: ;

24: solve({x=2*z,z=2*y},{z});
{}$


25: 


26: ;

27: solve({x = a, x = b, y = c, y = d},{x, y});
{}$


28: 


29: ;

30: solve({x2 = a, x2 = b, y2 = c, y2 = d},{x, y});
{}$


31: 


32: ;

33: on rounded;

34: 


35: ;

36: solve({x+y+z = 0, x^2 + y^2 + z^2 = 9, x^2 + y^2 = z^2},{x, y, z});
{{x=2.12132034356,y=0,z=-2.12132034356},
{x=-2.12132034356,y=0,z=2.12132034356},
{x=0,y=2.12132034356,z=-2.12132034356},
{x=0,y=-2.12132034356,z=2.12132034356}}$


37: 


38: ;

39: off rounded;

40: 


41: ;

42: solve({x+y+z = 0, x^2 + y^2 + z^2 = 9, x^2 + y^2 = z},{x, y, z});
{{x=(2*sqrt( - sqrt(37) - 7)*sqrt(3) + sqrt(74) + sqrt(2))/(4*sqrt(2)),
y=( - 2*sqrt( - sqrt(37) - 7)*sqrt(3) + sqrt(74) + sqrt(2))/(4*sqrt(2)),
z=( - (sqrt(37) + 1))/2},
{x=( - 2*sqrt( - sqrt(37) - 7)*sqrt(3) + sqrt(74) + sqrt(2))/(4*sqrt(2)),
y=(2*sqrt( - sqrt(37) - 7)*sqrt(3) + sqrt(74) + sqrt(2))/(4*sqrt(2)),
z=( - (sqrt(37) + 1))/2},
{x=(2*sqrt(sqrt(37) - 7)*sqrt(3) - sqrt(74) + sqrt(2))/(4*sqrt(2)),
y=( - 2*sqrt(sqrt(37) - 7)*sqrt(3) - sqrt(74) + sqrt(2))/(4*sqrt(2)),
z=(sqrt(37) - 1)/2},
{x=( - 2*sqrt(sqrt(37) - 7)*sqrt(3) - sqrt(74) + sqrt(2))/(4*sqrt(2)),
y=(2*sqrt(sqrt(37) - 7)*sqrt(3) - sqrt(74) + sqrt(2))/(4*sqrt(2)),
z=(sqrt(37) - 1)/2}}$


43: 


44: 




*** End-of-file read 
