diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-31 03:30:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-31 03:30:43 +0000 |
| commit | 8519b9831708f14b575d7896ac5d31a393d547f7 (patch) | |
| tree | c3b7a33b459280e041c3e777f12db9ca74935ea1 /src/algebra/tableau.spad.pamphlet | |
| parent | 5779d5e238ccce218020d39307674de938a5ad94 (diff) | |
| download | open-axiom-8519b9831708f14b575d7896ac5d31a393d547f7.tar.gz | |
Fix AW/83
* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T.
* testsuite/interpreter/aw-83.input (a): New.
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions