One Hat Cyber Team
Your IP :
216.73.216.115
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
Core
/
tests
/
View File Name :
elemtextout.m2
-- test of some of the internal printing routines done in the engine. debug Core A = ZZ/32003[s,t] B = A[x,y] F = (-3*s-2)*x^2-x*y+1 assert(toString raw F == "-3x2s-2x2-xy+1") assert(toString raw (x*y) == "xy") assert(toString raw (-x*y) == "-xy") assert(toString raw 1_B == "1") assert(toString raw (-1_B) == "-1") A = ZZ[s,t] B = A[x,y] F = (-3*s-2)*x^2-x*y+1 assert(toString raw F == "-3x2s-2x2-xy+1") assert(toString raw (x*y) == "xy") assert(toString raw (-x*y) == "-xy") assert(toString raw 1_B == "1") assert(toString raw (-1_B) == "-1") A = QQ[s,t] B = A[x,y] F = (-3*s-2)*x^2-x*y+1 assert(toString raw F == "-3x2s-2x2-xy+1") assert(toString raw (x*y) == "xy") assert(toString raw (-x*y) == "-xy") assert(toString raw 1_B == "1") assert(toString raw (-1_B) == "-1") A = QQ[s,t] B = A[x,y]/(s^3+t^3) F = (-3*s-2)*x^2-x*y+1 assert(toString raw F == "-3x2s-2x2-xy+1") assert(toString raw (x*y) == "xy") assert(toString raw (-x*y) == "-xy") assert(toString raw 1_B == "1") assert(toString raw (-1_B) == "-1") A = RR_53[s,t] B = A[x,y] F = (-3*s-2)*x^2-x*y+1 assert(toString raw F == "-3x2s-2x2-xy+1") assert(toString raw (x*y) == "xy") assert(toString raw (-x*y) == "-xy") assert(toString raw 1_B == "1") assert(toString raw (-1_B) == "-1")