Ideal intersection I ∩ J using an auxiliary parameter t and elimination from L = <t f_i, (1−t) g_j> ⊂ R[t]

Class:
Algorithm