expose

15 views
Skip to first unread message

Ralf Hemmecke

unread,
Oct 2, 2020, 2:01:45 PM10/2/20
to fricas-devel
(1) What is the exact meaning of the various tags in
src/algebra/exposed.lsp?

(2) By which rule should one enter a domain/category/package to one of
the lists |basic| or |categories|, etc.?

Ralf

------- structure of exposed.lsp --------

(in-package "BOOT")
(setq |$globalExposureGroupAlist|
'(
;;define the groups |basic| |naglink| |anna| |categories|
|Hidden| |defaults|
(|basic| ...)
(|categories| ...)
(|Hidden| ...)
(|defaults| ...)
)
)

(setq |$localExposureDataDefault|
(VECTOR
(LIST
;;These groups will be exposed
'|basic|
'|categories|
)
(LIST
;;These constructors will be explicitly exposed
)
(LIST
;;These constructors will be explicitly hidden
)
))

(setq |$localExposureData| (copy-seq |$localExposureDataDefault|))

Waldek Hebisch

unread,
Oct 2, 2020, 7:13:03 PM10/2/20
to fricas...@googlegroups.com
On Fri, Oct 02, 2020 at 08:01:41PM +0200, Ralf Hemmecke wrote:
> (1) What is the exact meaning of the various tags in
> src/algebra/exposed.lsp?
>
> (2) By which rule should one enter a domain/category/package to one of
> the lists |basic| or |categories|, etc.?
>

domain/package as |basic|. |anna| and |naglink| are obsolete
now and |categories| is for categories.

> Ralf
>
> ------- structure of exposed.lsp --------
>
> (in-package "BOOT")
> (setq |$globalExposureGroupAlist|
> '(
> ;;define the groups |basic| |naglink| |anna| |categories|

--
Waldek Hebisch

Ralf Hemmecke

unread,
Oct 2, 2020, 7:16:39 PM10/2/20
to fricas...@googlegroups.com


On 10/3/20 1:12 AM, Waldek Hebisch wrote:
> On Fri, Oct 02, 2020 at 08:01:41PM +0200, Ralf Hemmecke wrote:
>> (1) What is the exact meaning of the various tags in
>> src/algebra/exposed.lsp?
>>
>> (2) By which rule should one enter a domain/category/package to one of
>> the lists |basic| or |categories|, etc.?
>>
>
> domain/package as |basic|. |anna| and |naglink| are obsolete
> now and |categories| is for categories.

But what is the rule to add entries there? You probably won't let me add
JFriCASSupport there, right?

Ralf

Waldek Hebisch

unread,
Oct 3, 2020, 4:48:59 AM10/3/20
to fricas...@googlegroups.com
Well, we put there what needs to be exposed. I would prefer
solution that does not need exposing JFriCASSupport, but
ATM exposing JFriCASSupport is right thing to do.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages