Skip to content

Bug in Clifford algebra multiplication #34707

@tscrim

Description

@tscrim

This is a really bad associativity failure:

sage: r = ZZ['r'].fraction_field().gen()
sage: Q = QuadraticForm(r.parent(), 2, [0,r,0])
sage: C.<p,q> = CliffordAlgebra(Q)
sage: q * (p * q)
r*q
sage: (q * p) * q
-r*p*q + r^2

CC: @trevorkarn @fchapoton

Component: algebra

Keywords: Clifford

Author: Travis Scrimshaw

Branch/Commit: 4d56288

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/34707

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions