This directory contains the Julia reference implementation for the ZeroLocus62 v3.1.2 release of the v3.1 format.
The repository-level overview is in ../README.md, and the canonical format specification is in ../specification.md.
The package is registered in the Julia General registry:
julia -e 'using Pkg; Pkg.add("ZeroLocus62")'
To work on the implementation in this repository instead, develop the local package from the repository root:
julia -e 'using Pkg; Pkg.develop(path="julia")'
Run the Julia regression suite:
julia --project=julia -e 'using Pkg; Pkg.instantiate(); Pkg.test()'
using ZeroLocus62
label = encode_label([Factor('A', 1, 1)], [[[1]]])
@assert label == "1.0"
@assert decode_label(label).summands == [[[1]]]One-bundle labels are also canonical descriptions of bundles on partial flag varieties themselves, even when they are not globally generated, so signed rows such as encode_label([Factor('A', 1, 1)], [[[-1]]]) == "1.z220" are valid.