egison-3.7.3: lib/math/geometry/differential-form.egi

(define $df-normalize
  (lambda [%X]
    (let* {[$p (df-order X)]
           [[$es $os] (even-and-odd-permutations p)]}
      (with-symbols {i}
        (/ (- (sum (map (lambda [$σ] (subrefs X (map 1#i_(σ %1) (between 1 p)))) es))
              (sum (map (lambda [$σ] (subrefs X (map 1#i_(σ %1) (between 1 p)))) os)))
           (* (fact p)))))))

(define $wedge
  (lambda [%X %Y]
    !(. X Y)))

(define $Lie.wedge
  (lambda [%X %Y]
    (- !(. X Y) !(. Y X))))