Duplicates in ug13.ht

Pieter van Oostrum

unread,

Mar 20, 2026, 9:00:10 AM (yesterday) Mar 20

to fricas...@googlegroups.com

Hyperdoc in fricas 1.3.13 on my computer gives these warnings on startup:

(HyperDoc) Macro name ugDomainsDatabaseTitle occurred twice
(HyperDoc) The Version in /opt/local/lib/fricas/target/aarch64-apple-darwin25.3.0/share/hypertex/pages/ug13.ht is being ignored
(HyperDoc) Macro name ugDomainsDatabaseNumber occurred twice
(HyperDoc) The Version in /opt/local/lib/fricas/target/aarch64-apple-darwin25.3.0/share/hypertex/pages/ug13.ht is being ignored
(HyperDoc) Page name ugDomainsDatabasePage occurred twice
(HyperDoc) The Version in /opt/local/lib/fricas/target/aarch64-apple-darwin25.3.0/share/hypertex/pages/ug13.ht is being ignored

These three (ugDomainsDatabaseTitle, ugDomainsDatabaseNumber, ugDomainsDatabasePage) occur twice in ug13.ht, with different meanings.
--
Pieter van Oostrum <pie...@vanoostrum.org>
www: http://pieter.vanoostrum.org/
PGP key: [8DAE142BE17999C4]

Ralf Hemmecke

unread,

Mar 20, 2026, 9:37:42 AM (yesterday) Mar 20

to fricas...@googlegroups.com

It seems like this regression comes from here...

https://github.com/fricas/fricas/commit/7b19ed8a2b79cfd426c75e0c1d6244927f4f4a51#diff-f4c4b2a05f134f0e26f2d5a45906af6ebaadbab47d50ac527a2acefbc007d054L328-L754

(look for ugDomsinsDatabase).

The problem is that ugDomainsDatabase is already used in
src/doc/htex/ug13.htex

\head{subsection}{Index Cards}{ugDomainsDatabase}

Maybe that should rather become

\head{subsection}{Index Cards}{ugDomainsDatabaseIndexCards}

Just an idea. I have not tried it.

Ralf

Waldek Hebisch

unread,

Mar 20, 2026, 1:59:40 PM (yesterday) Mar 20

to 'Ralf Hemmecke' via FriCAS - computer algebra system

On Fri, Mar 20, 2026 at 02:37:39PM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote:
> It seems like this regression comes from here...
>
> https://github.com/fricas/fricas/commit/7b19ed8a2b79cfd426c75e0c1d6244927f4f4a51#diff-f4c4b2a05f134f0e26f2d5a45906af6ebaadbab47d50ac527a2acefbc007d054L328-L754
>
> (look for ugDomsinsDatabase).

Yes. Due to possibility of such things I prefer to do large
changes at start of release cycle and avoid them close to
release.

> The problem is that ugDomainsDatabase is already used in
> src/doc/htex/ug13.htex
>
> \head{subsection}{Index Cards}{ugDomainsDatabase}
>
> Maybe that should rather become
>
> \head{subsection}{Index Cards}{ugDomainsDatabaseIndexCards}
>
> Just an idea. I have not tried it.

More uniform and shorter would be

\head{subsection}{Index Cards}{ugDomainsIndexCards}

--
Waldek Hebisch

Reply all

Reply to author

Forward