Axiom Computer Algebra System - Bugs: bug #10484, Strange coercion between SAOS and...
You are not allowed to post comments on this tracker with your current authentication level.
bug #10484: Strange coercion between SAOS and Symbol
Submitter: | Martin Rubey <kratt6> | ||
Submitted: | Thu 23 Sep 2004 04:20:20 PM UTC | ||
Category: | interpreter | Severity: | 3 - Normal |
Item Group: | code bug | Status: | None |
Privacy: | Public | Assigned to: | None |
Originator Name: | Open/Closed: | Open | |
Release: | Reproducibility: | None | |
Fixed Release: | |||
Error message: | >> System error:
|
||
Example of code trigerring the bug: | ?::Symbol::SAOS |
||
Internal cause: |
|
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2008-11-25 | axiom | Error message | >> System error: Bind stack overflow. protected-symbol-warn called with (NIL) | ![]() |
>> System error: Bind stack overflow. protected-symbol-warn called with (NIL) |
In the interpreter
?::Symbol::SAOS produces a bind stack overflow
x::Symbol::SAOS works, using
Function Selection for map by coercion facility (map)
Arguments: ((POLY INT -> INT),UP(x,POLY INT))
Target type: UP(x,INT)
probably ? is somehow a bad symbol.
However, I also think that we should rethink having a coercion from SAOS to Symbol and from Symbol to SAOS.