WeaklySeparatedCollections
In its core, this package implements the combinatorics of weakly separated collections. It also provides optional tools for plotting as well an intuitive graphical user interface.
How to install
This package is divided into severaral parts. The base package implements only the combinatorics while several optional extensions can be loaded to enable additional features such as plotting.
To install the package execute the following in the Julia REPL:
import Pkg;
Pkg.add(url="https://github.com/MichaelSchloesser/WeaklySeparatedCollections.jl")The package may then be used as usual via
using WeaklySeparatedCollectionsExtensions
To enable extensions Julia v1.9 or newer, as well as some additional packages need to be installed.
Plotting
To use this feature, Luxor needs to be installed. In the Julia REPL simply execute:
import Pkg;
Pkg.add("Luxor")Now load both WeaklySeparatedCollections and Luxor to activate the plotting extension:
using WeaklySeparatedCollections
import Luxor GUI
To use the graphical user interface, Luxor and Mousetrap are required. Installing Luxor is explained in the previous section. To install Mousetrap run:
import Pkg;
Pkg.add(url="https://github.com/clemapfel/mousetrap.jl")Now loading all of WeaklySeparatedCollections, Luxor and Mousetrap will activate the gui extension.
using WeaklySeparatedCollections
import Luxor
import MousetrapOscar
We extend some functionality of Oscar and add methods to handle the A-cluster mutation of Seeds coming from weakly separated collections as well as the associated newton-okounkov-bodies.
This extension is only supported for Linux users (although Windows users may use Linux from Windows via wsl). We refer to the official Oscar website for details on the installation.
Afterward using the loading the extension is as simple as typing
using WeaklySeparatedCollections
using Oscar