Why dim was disabled for 2 arguments?

[Oleksandr]

According to the online manual for dim (see http://www.singular.uni-kl.de/Manual/3-1-6/sing_279.htm#SEC319 ): it should be able to take 2 arguments: dim(I,J) is the dimension of I/J., but both the current Master and SW have it switched off:

> ring R=0,(x,y),dp; ideal m=std(maxideal(1)); ideal m2=std(maxideal(2)); 
> dim(m,m2);
   ? error occurred in or before STDIN line 2: `dim(m,m2);`
   ? last reserved name was `dim`
   skipping text from `m2` error at token `)`

clearly this functionality was disabled before Tue Oct 12 12:50:27 2010 (ec58bdf), and can be easily enabled with the following patch:

diff --git a/Singular/table.h b/Singular/table.h                                                                                             
index 14565e9..4cff9c2 100644                                                                                                                
--- a/Singular/table.h                                                                                                                       
+++ b/Singular/table.h                                                                                                                       
@@ -883,7 +883,7 @@ cmdnames cmds[] =                                                                                                        
   { "denominator", 0, DENOMINATOR_CMD ,   CMD_1},
   { "det",         0, DET_CMD ,           CMD_1},
   { "diff",        0, DIFF_CMD ,          CMD_2},
-  { "dim",         0, DIM_CMD ,           CMD_1},                                                                                           
+  { "dim",         0, DIM_CMD ,           CMD_12},                                                                                          
   { "div",         0, INTDIV_CMD ,        MULDIV_OP},
   { "division",    0, DIVISION_CMD ,      CMD_M},
   { "dump",        0, DUMP_CMD,           CMD_1},

The question is why was this disabled? Should we rather remove the obsolete bit from the manual?

ps: this was reported by Adi.

[Oleksandr]

Of course, this can be worked around by using qring instead.

Besides jjDIM2 is almost the same as jjDIM...

[Oleksandr]

BTW, i enabled this functionality for testing in SW.