Hi Oleksandr,
On Sep 5, 10:53 am, Oleksandr <mot...@rhrk.uni-kl.de> wrote:
[...]
> First of all, please, let me explain that Singular kernel doesn't have
> any such markers...
Really? The only part of the Singular kernel that I ever met is
iparith.cc, or is this not kernel? Here, one typically sees lines such
as
{jjSTD_HILB_WP, STD_CMD, IDEAL_CMD, 4
NO_PLURAL}
{jjREDUCE5, REDUCE_CMD, IDEAL_CMD/*or set by p*/, 5
ALLOW_PLURAL}
By "markers", I was referring to these NO_PLURAL / ALLOW_PLURAL
markers.
[...]
> I would propose to move these checks into kernel feature
> implementations so that they can be done in run time by every
> individual feature, [...]
Perhaps it was my misunderstanding that iparith.cc is in the kernel.
I would agree that it makes mathematically sense to let each function
check by itself whether the input is suitable (e.g., jjSTD_HILB_WP
checks whether we are in a graded commutative weighted homogeneous
setting, in which Hilbert driven standard basis computation makes
sense).
However, I am not sure if Hans or Gert-Martin would agree that it
makes practically sense. After all, testing for complicated conditions
under which a function works costs time. So, why not have a very
simple test (commutative vs. non-commutative) that is immediate?
Therefore my suggestion to have markers, say ALLOW_G_ALGEBRA,
ALLOW_SC_ALGEBRA, NO_PLURAL.
Cheers,
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
