#8616: Symbolic type checking and expression parsing module
------------------------------+---------------------------------------------
Reporter: yuri.k | Owner: burcin
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.4
Component: symbolics | Keywords: symbolic, type, subexpression
Author: Yuri Karadzhov | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by robertwb):
* status: needs_review => needs_work
Comment:
Thank you for working on desolve, that module is in need of a lot of help.
I'm really not seeing what mtype has to do with it though (and what does
"mtype" mean? wtype, stype, ... are equally obscure). Also _ for a
wildcard is very non-standard notation, perhaps "*.integer" would be
better.
In any case, my main issue with this patch is that a huge list of
isinstance statements is not the way to implement this--it's brittle and
requires the module to know about everything in Sage. If we need an mtype
(operator, ...), it should be done OO style, with tests just for a few of
the builtin types (and even then it could be cleaner, using their names.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8616#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
