TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
 KASH3 Reference Manual
Documentation
IntroductionReference ManualIndex
search    

Function

IdealQuotient ( elt-ids^int/ord^fun I, elt-ids^int/ord^fun J ) -> elt-ids^int/ord^fun

Description

The colon ideal (or ideal quotient) of I by J, consisting of the elements e such that e*a is in I for all a in J.

Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group