A card from a free library — ask anything, no account, works offline. Every card carries its source.
Change of domain - the eigenbasis flip
instrument
The Change of domain - the eigenbasis flip verifier (src/concordance/verifiers/spectral.py). On the one map it instruments: card_question_p_vs_np. Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.
source
verifier: spectral · src/concordance/verifiers/spectral.py
card id
card_instr_spectral
address
WIT.codex.FCT/change-of-domain-the-eigenbasis-flip/REF.WITNESSED@verifier-spectral
adjoining cards
- part of → The instruments — every verifier and validator, and where they join — a root of the instrument trees (Change of domain - the eigenbasis flip)
- connects at → P versus NP — instruments the map: the change-of-domain door: put the problem in the eigenbasis where it
- connects at → Change of domain — solve in the eigenbasis, map back (the exact flip) — Change of domain: uses card_instr_spectral
Is this card incomplete? Tell the library — it will call out for more ↗