One Hat Cyber Team
Your IP :
216.73.216.135
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 :
locate.m2
f = () -> if ( true ) then ( "true" ) else ( "false" ) assert( ((F = functionBody f;)) === null ); assert( ((c = pseudocode f;)) === null ); assert( ((C = pseudocode F;)) === null ); getcols = P -> (toList P)_{2,4,6} assert( (getcols locate f) === {4,54,4} ); assert( (getcols locate c) === {4,54,4} ); assert( (getcols locate F) === {10,54,10} ); assert( (getcols locate C) === {10,54,10} ); assert( (getcols locate C_0) === {15,19,15} ); assert( (getcols locate C_1) === {29,35,29} ); assert( (getcols locate C_2) === {45,52,45} ); f = () -> ( 1+1 ) assert( ((F = functionBody f;)) === null ); assert( ((c = pseudocode f;)) === null ); assert( ((C = pseudocode F;)) === null ); assert( (getcols locate f) === {4,23,4} ); assert( (getcols locate c) === {4,23,4} ); assert( (getcols locate F) === {15,18,16} ); assert( (getcols locate C) === {15,18,16} ); f = (a,b) -> a f = () -> A B C assert( ((C = pseudocode functionBody f;)) === null ); assert( (getcols locate f) === {4,15,4} ); assert( (getcols locate C) === {10,15,11} ); assert( (getcols locate C_0) === {10,11,10} ); assert( (getcols locate C_1) === {12,15,13} ); assert( (getcols locate C_1_0) === {12,13,12} ); assert( (getcols locate C_1_1) === {14,15,14} ); f = () -> (A B) C assert( ((C = pseudocode functionBody f;)) === null ); assert( (getcols locate f) === {4,17,4} ); assert( (getcols locate C) === {10,17,15} ); assert( (getcols locate C_0) === {11,14,12} ); assert( (getcols locate C_1) === {16,17,16} ); assert( (getcols locate C_0_0) === {11,12,11} ); assert( (getcols locate C_0_1) === {13,14,13} ); end-- -* -- to update this file simply run these lines: restart src = last separate("end-{2,}", get "locate.m2"); "locate.m2" << generateAssertions src << endl; "locate.m2" << "end" << "--" << src << close; *- -- 0 0 1 1 1 1 2 2 2 2 3 3 3 4 4 5 5 -- 4 7 0 3 5 8 0 2 7 9 4 6 8 3 5 1 3 f = () -> if ( true ) then ( "true" ) else ( "false" ) (F = functionBody f;) (c = pseudocode f;) (C = pseudocode F;) getcols = P -> (toList P)_{2,4,6} getcols locate f getcols locate c getcols locate F getcols locate C getcols locate C_0 getcols locate C_1 getcols locate C_2 -- 1 1 1 2 -- 4 7 0 5 7 2 f = () -> ( 1+1 ) (F = functionBody f;) (c = pseudocode f;) (C = pseudocode F;) getcols locate f getcols locate c getcols locate F getcols locate C -- 1 1 -- 4 0 3 f = (a,b) -> a -- FIXME: match(".*:.*:4:.*:.*: error: expected 2 arguments but got 1", last capture "f(1)") -- Adjacent -- 1 1 1 -- 4 7 0 2 4 f = () -> A B C (C = pseudocode functionBody f;) getcols locate f getcols locate C getcols locate C_0 getcols locate C_1 getcols locate C_1_0 getcols locate C_1_1 -- 1 1 1 -- 4 7 0 3 5 f = () -> (A B) C (C = pseudocode functionBody f;) getcols locate f getcols locate C getcols locate C_0 getcols locate C_1 getcols locate C_0_0 getcols locate C_0_1 -- TODO: add tests for other kinds of code as well