SizeProduct
Namespace: SymTensor
Functions and values
| Function or value | Description |
empty
Signature: SizeProductT
|
empty product (equal to 1) |
isEmpty p
Signature: p:SizeProductT -> bool
|
true if product is empty (equal to 1) |
Active patterns
| Active pattern | Description |
( |Empty|_| ) sp
Signature: sp:SizeProductT -> unit option
|
matches if product is empty (equal to 1) CompiledName: |
( |SingleSymbol|_| ) sp
Signature: sp:SizeProductT -> SizeSymbolT option
|
matches if product consists of a single symbol with power 1 CompiledName: |
