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

View File Name : shared.m2

-- in this file we write stub definitions (no content) for use by packages, so multiple packages can use the same thing

needs "methods.m2"

-- methods

chi = method()
euler  = method()
eulers = method()
genera = method()
genus  = method()

complete = method()
minimize = method()

cone = method()
rays = method(Options => true)

decompose = method(Options => true)

-- TODO: change options to true?
extend = method(Options => {Verify => true})

union = method(Binary => true)
intersect = method(Options => true, Binary => true) -- an associative binary method

tensor    = method(Options => true, Binary => true) -- tensor is left-associative

directProduct = method(Binary => true)

truncate = method(Options => true)

isEmpty = method(TypicalValue => Boolean)
isEmpty Thing := x -> #x == 0

isExact = method(TypicalValue => Boolean, Options => true)

isSmooth = method(TypicalValue => Boolean, Options => true)
isVeryAmple = method(TypicalValue => Boolean, Options => true)

isNormal = method()

normalCone = method(Options => true)

isMorphism = method(TypicalValue => Boolean)
isAbelianCategory = method(TypicalValue => Boolean)

-- symbols

protect Base

protect Jacobian

protect Iterate

protect Strict

protect Threads

protect Tries