[opentheory-users] Question about defineConstList

[Robert White]

Dear Joe and other users,

I wonder if in the defineConstList
<http://www.gilith.com/research/opentheory/article-5-6.html#defineConstListCommand>
,
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
as

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

--

Regards,
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>