First time here? Check out the FAQ!
2 0 Set global RealNumber precision in .sage file ( 2019-09-29 20:30:51 +0200 )
10 0 Set global RealNumber precision in .sage file ( 2019-09-29 14:22:25 +0200 )
10 0 Set global RealNumber precision in .sage file ( 2019-09-29 13:44:24 +0200 )