		Search-engine friendly clone of the ACL2 documentation.

Short-weierstrass

Change-short-weierstrass

Modifying constructor for short-weierstrass structures.

Syntax

(change-short-weierstrass x 
                          [:p <p>] 
                          [:a <a>] 
                          [:b <b>])

This is an often useful alternative to make-short-weierstrass.

We construct a new short-weierstrass structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by fty::defprod.

Macro: change-short-weierstrass

(defmacro change-short-weierstrass (x &rest args)
  (std::change-aggregate 'short-weierstrass
                         x args
                         '((:p . short-weierstrass->p)
                           (:a . short-weierstrass->a)
                           (:b . short-weierstrass->b))
                         'change-short-weierstrass
                         'nil))