Skip to content

KeyValuePair ​

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

A key/value pair -- how an option is passed to a head that takes one, e.g. FactorInteger(5, KeyValuePair(Over, GaussianIntegers)).

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageRule✓
KeyValuePair(key, value)as compute-engine declares it
Typed signatures
TypePackageApplies
(key: string, value: T) -> tuple<string, T> where Tcompute-enginealways

Domain: Compute engine

Examples

Basic #

A key and its value, as a pair

live ↗
InKeyValuePair⁡(a,1)\operatorname{KeyValuePair}(\text{a}, 1)Out(a,1)(\text{a},1)
Properties #
live ↗
InReplaceAll(x,Rule(x,KeyValuePair⁡(y,z)))\mathrm{ReplaceAll}(x, \mathrm{Rule}(x, \operatorname{KeyValuePair}(y, z)))Out(y,z)(y,z)
About
Examples2
Checked againstWolfram Language 2 agreeSageMath 1 agreeSymPy 1 agree
CrosswalkWolfram Language

Implementation

mappedsympypackages/oracle/src/mappings.ts
mappedsagepackages/oracle/src/mappings.ts