The symbol Involutive is allowed as value for the optional argument Strategy for freeResolution. If provided, the resolution is constructed using janetResolution.
The object Involutive is a symbol.
The source of this document is in InvolutiveBases.m2:1167:0.