Order matters.

Try to avoid :https://en.wikipedia.org/wiki/Mathematical_induction

Le mar. 22 août 2023 à 17:58, Tim Daly <[email protected]> a écrit :
>
> Version numbering is a hotly debated issue no-one can agree on.
>
> To get a reliable, repeatable "version" that also allows debugging
> use git's sha1 hash.
>
> On Tuesday, August 22, 2023 at 2:04:27 AM UTC-4 [email protected] wrote:
>>
>> Hello, Ralf, Waldek, *,
>>
>> Thanks Ralf for supporting this proposal.
>>
>> I'm used to run different FriCAS versions at the same time and since I
>> plan to support this in a FriCAS personal plugin for VSCode (not
>> published yet), I need version informations to populate my
>> 'FriCASExecutable' computational "structure". For now 'fricas
>> --version' is inconsistent to me. But this is usual apparently even
>> with Common Lisp implementations. For example, 'gcl --version' gives:
>>
>> $gcl --version
>> GCL 2.6.14 ...
>>
>> whereas in GCL
>> >(lisp-implementation-type)
>> "GNU Common Lisp (GCL)"
>>
>> Clozure CL is more consistent from my point of view:
>> └─$ /home/greg/.roswell/impls/x86-64/linux/ccl-bin/1.12.2/lx86cl64 --version
>> Clozure Common Lisp Version 1.12.2 (v1.12.2) LinuxX8664
>>
>> and in it:
>> CCL is free software. It is distributed under the terms of the Apache
>> Licence, Version 2.0.
>> ? (lisp-implementation-type)
>> "Clozure Common Lisp"
>> ?
>>
>> After, that is just a matter of opinion I guess.
>> By the way, if there is some interest I filed a pull request,
>> https://github.com/fricas/fricas/pull/134
>>
>> The original code is in 
>> https://github.com/gvanuxem/fricas/tree/fricas-version
>> (the fricas-version branch) for an eventual 'diff'. I will keep one
>> since I will delete this branch in the near future.
>>
>> Regards,
>> __
>> Greg
>>
>> Le lun. 21 août 2023 à 08:53, Ralf Hemmecke <[email protected]> a écrit :
>> >
>> > >> What about putting the FriCAS version on the first line whether or not
>> > >> X is supported?
>> > >
>> > > Version information is printed by FriCASsys. The messages you see
>> > > are warnings from fricas script. If they appear at all they will
>> > > appear before startup of FriCASsys.
>> >
>> > Would it be an option to send the output of the lines
>> >
>> > ################
>> > if [ ! -f $FRICAS/lib/viewman ] ; then
>> > echo "viewman not present, disabling graphics"
>> > otheropts="-nogr"
>> > fi
>> >
>> > if [ ! -f $FRICAS/bin/hypertex ]; then
>> > echo "hypertex not present, disabling"
>> > otheropts="$otheropts -noht"
>> > fi
>> > ################
>> >
>> > to stdout?
>> >
>> > Otherwise I agree with Greg that "fricas --version" should give the
>> > version information in the first two lines.
>> >
>> > Ralf
>> >
>> > --
>> > 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/b4b97c50-2550-ec63-3b28-f460932ebdda%40hemmecke.org.
>
> --
> 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/b3ef935f-b3ec-4fdd-863e-a3e4929b1bf4n%40googlegroups.com.

-- 
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/CAHnU2daBDxBOUvy5ZZJngGsjJKK8GvjgZD_TwnMFRo0xtAk22w%40mail.gmail.com.

Reply via email to