expand-main-op.sls

#!r6rs

(library (mpl expand-main-op)

  (export expand-main-op)

  (import (mpl rnrs-sans)
          (mpl match)
          (mpl arithmetic)
          (mpl misc)
          (mpl expand-product)
          (mpl expand-power))

  ;; (define (expand-main-op u)

  ;;   (cond ( (product? u)

  ;;           (expand-product (list-ref u 1)
  ;;                           (list-ref u 2)) )

  ;;         ( (power? u)

  ;;           (expand-power (list-ref u 1)
  ;;                         (list-ref u 2)) )

  ;;         ( else u )))

  ;; (define (expand-main-op u)

  ;;   (match u

  ;;     ( ('* a . rest)

  ;;       (expand-product a (apply * rest)) )

  ;;     ( ('^ a b)

  ;;       (expand-power a b) )

  ;;     ( else u )))

  (define (expand-main-op u)

    (match u

      ( ('* a . rest)

        (expand-product a
                        (expand-main-op (apply * rest))) )

      ( ('^ a b)

        (expand-power a b) )

      ( else u )))

  

  )