factor/extra/math/algebra/algebra.factor

! Copyright (c) 2007 Samuel Tardieu
! See http://factorcode.org/license.txt for BSD license.
USING: kernel math math.functions sequences fry ;
IN: math.algebra

: chinese-remainder ( aseq nseq -- x )
  dup product
    [
        '[ _ over / [ swap gcd drop ] keep * * ] 2map sum
    ] keep rem ; foldable
Add math.algebra module with some useful words. - ext-euclidian implements the extended Euclidian algorithm - ring-inverse computes an inverse in a Z/nZ ring - chinese-remainder solves a multi-constraints modular equation 2007-12-26 16:42:33 -05:00			`! Copyright (c) 2007 Samuel Tardieu`
			`! See http://factorcode.org/license.txt for BSD license.`
initial math cleanup 2008-10-03 03:19:03 -04:00			`USING: kernel math math.functions sequences fry ;`
Add math.algebra module with some useful words. - ext-euclidian implements the extended Euclidian algorithm - ring-inverse computes an inverse in a Z/nZ ring - chinese-remainder solves a multi-constraints modular equation 2007-12-26 16:42:33 -05:00			`IN: math.algebra`

			`: chinese-remainder ( aseq nseq -- x )`
			`dup product`
initial math cleanup 2008-10-03 03:19:03 -04:00			`[`
			`'[ _ over / [ swap gcd drop ] keep * * ] 2map sum`
			`] keep rem ; foldable`