Description
Multiply nonnegative integer factor sizes using BigInt and return exact decimal size and empty for a zero product.
A finite set records membership, while a multiset also records multiplicity. An ordered set adds an ordering rule, and an interval adds endpoint-closure choices. A witness for one element, a count budget, and equality of complete sets establish different facts.
Multiply nonnegative integer factor sizes using BigInt and return exact decimal size and empty for a zero product.
When to use this tool
Use Cartesian Product Empty Factor Flag when you need the stated finite-set, interval, multiplicity, membership, or ordering operation under the given equality convention.
How to use the tool and how it works
- Enter sizes. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read empty, size. Inspect empty before interpreting the associated values.
Multiply nonnegative integer factor sizes using BigInt and return exact decimal size and empty for a zero product.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| sizes | Sizes | Required. Array of safe integer; maximum items 256. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| empty | Empty | Required. Boolean. |
| size | Exact decimal product; empty factor family gives one. | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"sizes": [
3,
0,
4
]
},
"output": {
"empty": true,
"size": "0"
}
}Limitations and assumptions
- An empty factor list yields size one, the empty-product convention. The tool does not enumerate tuples or verify actual sets, and any zero-sized factor makes the product empty.
- The field tables state structural bounds; the mechanics also specify cross-field constraints. Malformed inputs and unsupported domains cause errors. A successful false flag, empty branch value, or zero placeholder has the meaning stated above and is distinct from an input error.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Signed zero is exported as zero.
Alternative or Complementary methods
Use a full set operation when one element or count cannot establish the required relation. Preserve the distinction between strings, typed scalar atoms, nested sets, ordered lists, and multisets.
References
Similar or alternative tools
- Cartesian Product Single Pair Membership
Return member when leftElement occurs in left and rightElement in right, with missingFactors naming absent sides.
- set/union
Return unique strings from two lists in first-occurrence order.