Feature #1030
Updated by John Abbott over 6 years ago
Currently @IsInRadical@ is defined in a CPKG5, but may soon be translated to CoCoALib.
The case of a homog poly in a homog ideal is handled specially.
I wonder if we cannot improve it by simply testing each homog component cmoponent of the poly for membership in the radical.
The case of a homog poly in a homog ideal is handled specially.
I wonder if we cannot improve it by simply testing each homog component cmoponent of the poly for membership in the radical.