On Wed, Jul 03, 2024 at 10:39:48PM +0100, Dima Pasechnik wrote:
> On Wed, Jul 3, 2024 at 10:18 PM Ralf Hemmecke <[email protected]> wrote:
> >
> > On 7/3/24 12:19, Qian Yun wrote:
> > > Well, generally this feels a bit strange on multiple levels:
> > > 1. they use such an old version
> > > 2. they don't send bugs or upstream fixes to us
> >
> > Citing item 2 of our Licence.txt
> >
> > - Redistributions in binary form must reproduce the above copyright
> > notice, this list of conditions and the following disclaimer in
> > the documentation and/or other materials provided with the
> > distribution.
> >
> > Honestly, just looking at their website, I do not even see FriCAS
> > mentioned at all in an easily accessible form. I find this inaccaptable.
> >
> > I do not have "the distribution", but if it comes without explicitly
> > reproducing our Licence conditions, then we should certainly react.
>
> I recall having a discussion here on whether GPL is a better license.
> ¯\_(ツ)_/¯
>
> At least GPL would have made them contributing patches etc.
GPL could have forced them to release sources to 82 domains that
they wrote. Or, more likely, they would do the work in their
propritary process (to avoid "linking").
GPL can prevent some parties from using GPL code, but can not
force them to contribute. To give some examples, there are/where
propritarty toolchains for embedded processors, consisting of gcc
+ bunch of propritary programs. AFAIK FSF is OK with this as
long as gcc they use does not contain proprietary modification
and interaction is "normal", that is gcc is called to compile
C/C++ files and they use gcc generated binaries.
In context of CAS I once looked at w website doing symbolic
integration. AFAICS they used modified Maxima. I mean, the
output had a lot of similarity to Maxima output, IMO to much
to be independent creation. But it also could do some integrals
that Maxima could not do, so it was modified. They did not
mention Maxima and of course did not offer source code. AFAIK
GPL allows this (they were just "using" Maxima, but not
"distributing" it).
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZoXW2lH-82R0QQcJ%40fricas.org.
