Concept icon
Concept

Fixing each tensor entry at its creation precision

Tag each tensor description with its creation precision p_c. Evaluate an entry modulo 2^(p_c), choose its coordinate representatives from zero to 2^(p_c)-1, and use those SAME representatives at every later precision. Canonical lifting is not a ring homomorphism: modulo 4, 3+3 has representative 2, but adding the separate representatives gives 6 modulo 8. Thus a call must choose its entry lifts first and use them consistently in every evaluation of its deformation polynomial. Raising precision does not authorize reevaluating an old formula modulo the new precision; that could specify a different lifted tensor.

0

1

Concept icon
Updated 2026-11-08

Contributors are:

Who are from:

Tags

Math