Skip to content

fix: correct p-adic digit ordering in Extended Monna Mapping digit display - #108

Merged
iislucas merged 3 commits into
mainfrom
fix/berkovich-encoding-digit-order
Aug 20, 2026
Merged

fix: correct p-adic digit ordering in Extended Monna Mapping digit display#108
iislucas merged 3 commits into
mainfrom
fix/berkovich-encoding-digit-order

Conversation

@iislucas

Copy link
Copy Markdown
Collaborator

Summary of Changes

  • 569Xadic Digit Ordering: In BerkovichEncodingComponent, currentRationalCenter now computes the 569Xadic center rational whose digits in BerkovichDigitDisplayComponent match the leaf node 569Xadic representation (e.g. = 0.6875$ with binary path 1$ now renders 569Xadic digits [ 1 ] [ 1 ] [ 0 ] [ 1 ], matching leaf label 1101₂ on the tree).
  • Center Editing Mapping: In onDigitDisplayCenterChange, edits made in the digit display are properly converted from the 569Xadic digit sequence back to the real number target \in [0, 1]$.
  • Blue Pin Value: In BerkovichEncodingTreeVisComponent, bluePinVal consistently uses the decoded target value on the 1$ number line.
  • Tests: Updated unit tests in berkovich-encoding.component.spec.ts.

…splay

- Update currentRationalCenter in BerkovichEncodingComponent to compute p-adic digits matching tree leaf representations\n- Update onDigitDisplayCenterChange to map edited p-adic digits back to real target values\n- Update bluePinVal in BerkovichEncodingTreeVisComponent to consistently use decoded target values\n- Update unit tests in berkovich-encoding.component.spec.ts
@iislucas
iislucas merged commit 749a674 into main Aug 20, 2026
8 checks passed
@iislucas
iislucas deleted the fix/berkovich-encoding-digit-order branch August 20, 2026 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant