Template Generation And p_Procs...

[Benjamin Schnitzler]

Dear singular developement list,

I am trying to adapt the multiplication used in the original
singular bba to our version of the bba. (We are trying to compute
non-commutative Groebner bases with the Letterplace approach.)
Unfortunatly I do not yet completely understand, how the
multiplications in Singular are instantiated. I know, that there
are different ring and order dependent versions of
multiplications, which reside in libpolys/polys/templates .
My idea was to create our own multiplications based on those
(e.g. p_Minus_mm_Mult_qq__T) in the libpolys/polys/templates
directory, but they make use of other template functions (e.g.
n_Mult__T, n_Delete__T, ...), which I do not want to rewrite, but
simply to use in the usual manner. How do I get these templates
instantiated correctly?

Thank you,

Benjamin