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
Dir : ~/usr/share/Macaulay2/
View File Name : HolonomicSystems.m2

-- -*- coding: utf-8 -*-
newPackage(
    "HolonomicSystems",
    Version => "1.0",
    Date => "May 2023",
    Headline => "Holonomic Systems",
    Authors => {
	{ Name => "Mahrud Sayrafi",     Email  =>  "mahrud@umn.edu",  HomePage => "https://math.umn.edu/~mahrud"   },
	{ Name => "Christine Berkesch", Email => "cberkesc@umn.edu",  HomePage => "https://math.umn.edu/~cberkesc" },
	{ Name => "Anton Leykin", Email => "leykin@math.gatech.edu" },
	{ Name => "Harrison Tsai" }
	},
    Keywords => {"D-modules"},
    PackageExports => { "WeylAlgebras" },
    PackageImports => {
	"AssociativeAlgebras",
	"PrimaryDecomposition",
	"ReesAlgebra",
	"Elimination",
	"FourTiTwo",
	"Polyhedra"
	},
    AuxiliaryFiles => true,
    DebuggingMode => false
    )

-- local symbols defined in WeylAlgebras
importFrom_"WeylAlgebras" {
    "pInfo", "createThetaRing", "ThetaRing", "WtoT",
    }

importFrom_"Core" { "nonnull", "concatRows", "concatCols", "isListOfIntegers" }

-- symbols exported from WeylAlgebras
export {
    "createThetaRing", "ThetaRing", "WtoT",
    }

--------------------------------------------------------------------------------
-- HolonomicSystems
--------------------------------------------------------------------------------

-- Harry's basic files
load "./HolonomicSystems/Dsystems.m2"
export {
    "gkz", -- needs toricIdeal from FourTiTwo
    "eulerOperators",
    "toricIdealPartials", -- needs toricMarkov from FourTiTwo
    "AppellF1",
    "Vars",
    }
-- Christine's algorithms
load "./HolonomicSystems/canonicalSeries.m2"
export {
    "isTorusFixed",
    -- apbFactor
    -- thetaBracketSub
    -- solveMax
    -- beginExptComp
    -- makeMonomial
    -- makeRationalMonomial
    -- makeLogTerm
    -- makeLogMonomial
    -- factorial'
    "cssExpts",
    "cssExptsMult",
    "cssLeadTerm",
    "distraction",
    "indicialIdeal",
    -- solvePrimaryFrobeniusIdeal
    "solveFrobeniusIdeal",
    "nilssonSupport",
    "truncatedCanonicalSeries",
    }

-- DifferentialOperators
-- Harry's algorithms
load "./HolonomicSystems/DiffOps.m2"
export {
    "PolyGens",
    "BasisElts",
    "diffOps",
    "putWeylAlgebra",
    }

--------------------------------------------------------------------------------
-- Tests
--------------------------------------------------------------------------------

load "HolonomicSystems/TST/tests.m2"
load "HolonomicSystems/TST/canonicalSeries.m2"

--------------------------------------------------------------------------------
-- Documentation
--------------------------------------------------------------------------------

beginDocumentation()

load "HolonomicSystems/DOC/main.m2"
load "HolonomicSystems/DOC/DiffOps.m2"
load "HolonomicSystems/DOC/Dsystems.m2"
load "HolonomicSystems/DOC/canonicalSeries.m2"

--------------------------------------------------------------------------------

end--
restart
uninstallPackage "HolonomicSystems"
installPackage "WeylAlgebras"
installPackage "HolonomicSystems"
installPackage("HolonomicSystems", RerunExamples => true)

restart
needsPackage "HolonomicSystems"
check HolonomicSystems