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
/
Macaulay2
/
Core
/
View File Name :
dotdot.m2
-- Copyright 2009 by Daniel R. Grayson needs "code.m2" needs "indeterminates.m2" needs "monoids.m2" needs "variables.m2" -- this code should go after the last method installed for baseName scan(join(apply(methods baseName,last),{MonoidElement}), X -> if X =!= Symbol and X =!= IndexedVariable and X =!= Thing and not ancestor(Expression,X) then ( err1 := lookup(symbol .., Thing, Thing); err2 := lookup(symbol ..<, Thing, Thing); X .. X := (a,z) -> ( a' := try baseName a else err1(a,z); z' := try baseName z else err1(a,z); if a === a' and z === z' then err1(a,z); r := a' .. z'; if value a' =!= a or value z' =!= z then return r; r' := apply(r,value); if same apply(r', class) then r' else r); X ..< X := (a,z) -> ( a' := try baseName a else err1(a,z); z' := try baseName z else err1(a,z); if a === a' and z === z' then err1(a,z); r := a' ..< z'; if value a' =!= a or value z' =!= z then return r; r' := apply(r,value); if same apply(r', class) then r' else r); X .. Thing := (a,z) -> ( a' := try baseName a else err1(a,z); if a === a' then err1(a,z); r := a' .. z; if value a' =!= a then return r; r' := apply(r,value); if same apply(r', class) then r' else r); X ..< Thing := (a,z) -> ( a' := try baseName a else err1(a,z); if a === a' then err1(a,z); r := a' ..< z; if value a' =!= a then return r; r' := apply(r,value); if same apply(r', class) then r' else r); Thing .. X := (a,z) -> ( z' := try baseName z else err1(a,z); if z === z' then err1(a,z); r := a .. z'; if value z' =!= z then return r; r' := apply(r,value); if same apply(r', class) then r' else r); Thing ..< X := (a,z) -> ( z' := try baseName z else err1(a,z); if z === z' then err1(a,z); r := a ..< z'; if value z' =!= z then return r; r' := apply(r,value); if same apply(r', class) then r' else r); )) -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/m2 " -- End: