HomeIsabelle/Phabricator
Diffusion Poly/ML bf1f331926d9

Fix exp calculation according to the Basis spec
bf1f331926d9
Actions

Description

Fix exp calculation according to the Basis spec

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 10:12 PM
Parents
rPOLYML8cb5a80011ef: Refactor the removing of leading and trailing zeros
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYMLbf1f331926d9: Fix exp calculation according to the Basis spec (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 10:12 PM

Changes (1)

PathSize
basis/

rPOLYMLbf1f331926d9

View Options

basis/IEEEReal.sml

Loading...