koszul: Remove make-assoc
parent
2e86fd6af0
commit
1a0ed4ee6b
|
@ -1,9 +1,9 @@
|
||||||
! Copyright (C) 2006, 2007 Slava Pestov.
|
! Copyright (C) 2006, 2007 Slava Pestov.
|
||||||
! See http://factorcode.org/license.txt for BSD license.
|
! See http://factorcode.org/license.txt for BSD license.
|
||||||
USING: accessors arrays hashtables assocs io kernel locals math
|
USING: accessors arrays assocs combinators fry hashtables io
|
||||||
math.vectors math.matrices math.matrices.elimination namespaces
|
kernel locals make math math.matrices math.matrices.elimination
|
||||||
parser prettyprint sequences words combinators math.parser
|
math.order math.parser math.vectors namespaces prettyprint
|
||||||
splitting sorting shuffle sets math.order ;
|
sequences sets shuffle sorting splitting ;
|
||||||
FROM: namespaces => set ;
|
FROM: namespaces => set ;
|
||||||
IN: koszul
|
IN: koszul
|
||||||
|
|
||||||
|
@ -89,14 +89,14 @@ SYMBOL: terms
|
||||||
|
|
||||||
: wedge ( x y -- x.y )
|
: wedge ( x y -- x.y )
|
||||||
[ >alt ] bi@ [
|
[ >alt ] bi@ [
|
||||||
swap [
|
swap building get '[
|
||||||
[
|
[
|
||||||
2swap [
|
2swap [
|
||||||
swapd * -rot (wedge) +@
|
swapd * -rot (wedge) _ at+
|
||||||
] 2keep
|
] 2keep
|
||||||
] assoc-each 2drop
|
] assoc-each 2drop
|
||||||
] curry assoc-each
|
] curry assoc-each
|
||||||
] H{ } make-assoc canonicalize ;
|
] H{ } make canonicalize ;
|
||||||
|
|
||||||
! Differential
|
! Differential
|
||||||
SYMBOL: boundaries
|
SYMBOL: boundaries
|
||||||
|
|
Loading…
Reference in New Issue