Cl(1,3)
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Cl(1,3) has 9 facts recorded in Dontopedia across 5 references.
Mostly:rdf:type(2), has generator(1), defines algebraic structure(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (11)
Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.
builtFromNothingBuilt From Nothing(1)
- Xenonfun
ex:xenonfun
commuteInCommute in(1)
- Dual Bivectors
ex:dual-bivectors
definedInAlgebraDefined in Algebra(1)
- Core Equation
ex:core-equation
equivalentToEquivalent to(1)
- Cl 3 1
ex:cl-3-1
existInExist in(1)
- Dual Bivectors
ex:dual-bivectors
hasObjectHas Object(1)
- Building Cl 1 3 From Nothing
ex:building-cl-1-3-from-nothing
implementsNewmanPenroseNullVectorsImplements Newman Penrose Null Vectors(1)
- Nulltetrad Lean
ex:nulltetrad-lean
isClIs Cl(1)
- Spacetime Algebra
ex:spacetime-algebra
locatedInAlgebraLocated in Algebra(1)
- Newman Penrose Null Vectors
ex:newman-penrose-null-vectors
subalgebraOfSubalgebra of(1)
- Even Subalgebra Lean
ex:even-subalgebra-lean
usedForBivectorsUsed for Bivectors(1)
- Gamma Notation
ex:gamma-notation
Other facts (8)
The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
| Predicate | Value | Ref |
|---|---|---|
| Rdf:type | Algebra | [4] |
| Rdf:type | Algebra | [5] |
| Has Generator | Generator 0 | [1] |
| Defines Algebraic Structure | Metric Signature 1 3 | [1] |
| Built From Scratch | By Xenonfun | [2] |
| Ontological Commitment to | geometric algebra structure | [3] |
| Common Name | spacetime algebra | [4] |
| Has Label | Cl(1,3) | [5] |
Timeline
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
References (5)
ctx:discord/blah/watt-activation/part-516ctx:discord/blah/watt-activation/part-574ctx:discord/blah/watt-activation/part-544ctx:discord/blah/watt-activation/514- full textwatt-activation-514text/plain3 KB
doc:agent/watt-activation-514/46cc886e-9934-4b59-8ad6-9f06b60f5f4eShow excerpt
[2026-03-22 22:09] xenonfun: ⏺ Pushed to master (f3ce359). 967 tests pass. Summary ## Implemented the paper's complete framework in bivector_field.rs (1,673 lines, 32 tests): ``` Core equation: ∂_t F = v²∇²F + [F, ∇F] — the universal…
ctx:discord/blah/watt-activation/571- full textwatt-activation-571text/plain2 KB
doc:agent/watt-activation-571/74380dd9-ee8b-44ee-97b2-14fc22557426Show excerpt
[2026-03-25 20:08] xenonfun: · Building BerryCurvature.lean… (2m 6s · ↓ 2.7k tokens) ⎿ ◼ BerryCurvature.lean — Berry curvature = bivector commutator ◻ ConformalScaling.lean — sync equation under conformal rescaling ◻ NullTetrad…
See also
Keep researching
Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.