Namespace: SymTensor

Functions and values

Function or valueDescription
Signature: SizeProductT

empty product (equal to 1)

isEmpty p
Signature: p:SizeProductT -> bool

true if product is empty (equal to 1)

Active patterns

Active patternDescription
( |Empty|_| ) sp
Signature: sp:SizeProductT -> unit option

matches if product is empty (equal to 1)

CompiledName: |Empty|_|

( |SingleSymbol|_| ) sp
Signature: sp:SizeProductT -> SizeSymbolT option

matches if product consists of a single symbol with power 1

CompiledName: |SingleSymbol|_|

Fork me on GitHub