Hi all,

summarizing ideas and arguments from this thread gives the following
proposal:

Sage would benefit from the possibility to work in two different
modes, a "classroom mode", and a "pedantic mode".

In the classroom mode, e.g. symbolic expressions would be callable,
and quite some guessing would happen behind the scene. Since Wolfram
Research is likely to have spent (compared to the other players) most
resources in usability issues, the Sage classroom mode could be
modeled quite closely after what they do. And we will get the same
strange erronuous behaviour in certain cases as they do, and as was
mentioned above (mma mailing lists). Calling non-commutative rings
modules in Sage might just barf and refuse to work in classroom-mode.

In the pedantic mode, e.g. variables just have to be defined. All the
plot functions might have a considerably more complicated syntax. The
user would have more freedom to exactly tell what he wants Sage to do
for him. But the user also would have now the greater responsibility
inevitably linked to being granted more power.

As for the details, for the user interface it essentially boils down
to have verbose error messages. E.g. a plot function called in
"pedantic mode", but with "classroom mode" style parameters not just
saying "No", but telling the user "In classroom mode, this would work.
You are in pedantic mode, so you probably want to do <Code Snippet> to
get the same behaviour".

Technically, alas, this proposal would imply a good deal of work, and
a whole new dimension of complexity. We would need many, many tests
being doubled (one for each of the two modes), to mention only one of
several areas. The Sage project does not seem to have the necessary
developer resources, at least for the near future.

What do you think?

Cheers,
gsw

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to