[opentheory-users] Question about defineConstList

[Ramana Kumar]

defineConstList defines the constants, they do not need to be defined
before that command is executed.

On 20 May 2015 at 17:27, Robert White <ai.robert.wangshuai at gmail.com> wrote:

> 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/>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150520/b42d521d/attachment.html>