I notice that Axiom has a number of licenses, such as Arthur Ralfs https://github.com/daly/axiom/blob/master/license which don't seem to exist in the current LICENSE directory. https://github.com/fricas/fricas/tree/master/license
If the code exists in the source code history the license must remain. The fact that the code was later removed doesn't matter as the repo still contains it so the license must still be immediately available, not just in old history. Almost certainly most of the license material can be found from the initial fork and the initial site creation at the time of the fork. I'm not a lawyer but I spent a lot of time and email discussing this with NAG legal. NAG was very clear that no license or copyright could be removed at any time which is why some source files still have legal banners. One cannot copy a system, remove the license from the local copy, and now have a license-free system. Otherwise you could create a non-GPL copy of any system. Why were each of these individual licenses removed from the current system? Tim On Thursday, July 4, 2024 at 9:40:45 AM UTC-4 Waldek Hebisch wrote: > On Thu, Jul 04, 2024 at 02:34:27PM +0200, Ralf Hemmecke wrote: > > On 7/4/24 03:23, Waldek Hebisch wrote: > > > To comply with the our license, they should have text of the > > > license _somewhere_. Recursive grep for 'Numerical ALgorithms Group' > > > should find it (unless it is really obfuscated in some way). > > > > Yes, that is also how I read the license terms. The contents of our > > LISCENSE.txt must be included in the binary of Mathcad and it must be > > mentioned in the documentation that comes with the distribution. > > Our license says 'and/or', which probably in practice means 'or'. > In nineties in math institute in Wrocław we were using a few Unix > workstations. OS contained a lot of BSD-licenced code. AFAIR > OS kernel and probably also some other programs printed copyright > messages at startup. But I do not remember seeing BSD copyright > inside documentation. So it is likely that messages printed > at startup count as 'and/or other materials provided with the > distribution'. > > > And yes, I also see their webpage as "documentation that comes with the > > distribution". > > > > Google for "fricas site:mathcad.com". I get an empty search result. > > > > In fact, here I can read: > > > > > https://www.mathcad.com/en/blogs/whats-in-prime-7#Symbolics%20Enhancements > > > > """ > > Symbolics Enhancements > > > > Mathcad Prime 6 introduced a new symbolic engine to the software, > offering > > PTC’s software engineers more flexibility as they work with the software. > > For you, that means you’ll see modifications and enhancements that simply > > weren’t possible in the past. > > """ > > > > Well, our license doesn't say that the name "FriCAS" should be mentioned. > > However, I do not think that their website shows good behaviour. > > > > > I guess that given name interested folks can use Google to find > > > FriCAS license. But I do not think that internet counts as > > > 'materials provided with the distribution'. > > > > Yes exactly. And "given name" is a prerequisite for typing something into > > google. Unfortunately, I do not find that name (FriCAS) somewhere > mentioned. > > > > > > Sage doesn't develop new domains, MathCAD does. So they are more > likely > > > > to hit by bugs. > > > > > > Not clear to me. Usig Spad code means that they may be affected > > > by bugs in the Spad compiler. OTOH for simple constructs Spad > > > compiler was quite reliable. And using Spad they are less > > > affected by interpreter bugs. > > > > Waldek, it sounds as if you do not care much about this issue. Why would > it > > be so hard for them to mention "FriCAS"? Honestly, I do not know why they > > are behaving like this in th first place. > > Companies frequently behave in this way. And not only companies. > Some years ago Ted Kosan created "Math Piper". Apparently documentation > tried to make impression that this new cool thing. But in fact > this was fork of an existing system. I assume that if you digged > deeper fact that it is a fork would came out. But the intent > was very similar. > > -- > 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/e24e0c97-ba17-4c63-9ea7-5528186869d9n%40googlegroups.com.
