[opentheory-users] Question about defineConstList

Robert White ai.robert.wangshuai at gmail.com
Wed May 20 16:27:20 UTC 2015

Dear Joe and other users,

I wonder if in the defineConstList
do you actually define the consts first? Or simply use the const "from
construction" [1]. This function is now causing problems in my code and I
can't find out where exact the problem is. It would be very nice if you can
explain a bit more.

Thanks a lot.

[1] By this, I mean, did you used defineConst or anything to do the
definition for individual constants there or simply getting the list pushed

> > List [Const c1, ..., Const ck]


Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150520/05007d02/attachment.html>

More information about the opentheory-users mailing list