One Hat Cyber Team

Your IP : 216.73.216.216

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

Dir : ~/usr/share/Macaulay2/

Edit File: TropicalToric.m2

newPackage(
  "TropicalToric",
	Version => "1.0",
	Date => "May 2022",
	Authors => {
   		{
        Name => "Alessio Borzì",
        Email => "Alessio.Borzi@warwick.ac.uk",
        HomePage=>"https://alessioborzi.github.io"
      }
  },
	Headline => "tropical methods for toric intersection theory",
	Configuration => {},
  PackageExports => {
    "NormalToricVarieties",
    "Tropical",
    "Package$gfanInterface"
  },
  PackageImports => {
    "FourierMotzkin"
  },
	AuxiliaryFiles => true,
	CacheExampleOutput => true,
  OptionalComponentsPresent => true,
  UseCachedExampleOutput => true,
  Keywords => {"Tropical Geometry"},
  Certification => {
      "journal name" => "Journal of Software for Algebra and Geometry",
      "journal URI" => "https://msp.org/jsag/",
      "article title" => "Tropical computations for toric intersection theory in Macaulay2",
      "acceptance date" => "2023-09-14",
      "published article URI" => "https://msp.org/jsag/2024/14-1/p04.xhtml",
      "published article DOI" => "10.2140/jsag.2024.14.19",
      "published code URI" => "https://msp.org/jsag/2024/14-1/jsag-v14-n1-x04-TropicalToric.zip",
      "release at publication" => "9ef0931eee637fc1fd9f377b35e91f4c14309a7c",
      "version at publication" => "1.0",
      "volume number" => "14",
      "volume URI" => "https://msp.org/jsag/2024/14-1/"
      }
)

export{
  --types
  "ToricCycle",

--functions / methods
  "toricCycle",
  "makeTransverse",
  "isTransverse",
  "degCycle",
  "toricDivisorFromCycle",
  "refineMultiplicity",
  "pushforwardMultiplicity",
  "poincareMatrix",
  "poincareDuality",
  "classFromTropical",
  "classWonderfulCompactification",
  "torusIntersection",
  "classFromTropicalCox",
  "polymakeConeContains",

--symbols
  "PoincareMatrix"
}

protect maxRayList;
protect cycleSupport;
protect PicardBases;
protect RaysMatrix;
protect RaysMatrixRank;

------------------------------------------------------------------------------
-- CODE
------------------------------------------------------------------------------

load "TropicalToric/ToricCycle.m2";
load "TropicalToric/ToricPullback.m2";
load "TropicalToric/TropicalToricCode.m2";
load "TropicalToric/polymakeContains.m2";

------------------------------------------------------------------------------
-- DOCUMENTATION
------------------------------------------------------------------------------

beginDocumentation()

load "TropicalToric/ToricCycleDoc.m2";
load "TropicalToric/TropicalToricDoc.m2";
load "TropicalToric/polymakeContainsDoc.m2";

------------------------------------------------------------------------------
-- TESTS
------------------------------------------------------------------------------

load "TropicalToric/ToricCycleTest.m2";
load "TropicalToric/TropicalToricTest.m2";

end