An object of this type is a system of functions evaluated via an SLP that is constructed using the tools of package SLPexpressions.
An object of this type (constructed with gateSystem) is a System of functions represented via a GateMatrix. In particular, polynomial systems and systems of rational functions can be represented this way.
Unlike PolySystem, the functions of a GateSystem do not belong to a ring and can be evaluated on Numbers and RingElements as long as the constants in the evaluation circuits can be promoted to the corresponding Rings.
The object GateSystem is a type, with ancestor classes System < MutableHashTable < HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NumericalAlgebraicGeometry/doc.m2:1252:0.