Hello Ralf, Le mardi 25 novembre 2025 à 18:50:29 UTC+1, Grégory Vanuxem a écrit :
Le mar. 25 nov. 2025, 14:21, Grégory Vanuxem <[email protected]> a écrit : Le lun. 24 nov. 2025 à 20:43, 'Ralf Hemmecke' via FriCAS - computer algebra system <[email protected]> a écrit : > > >> Sorry, but I wonder how you find this reference so easily? Apparently. > Oh, that was simple, because recently I had to concatenate strings and > remembered that I had already seen the > > a b > > construction for string. I knew already that writing things next to each > other, the Aldor compiler will throw in an 'apply' function and try to > find the and basically call apply(a,b) if there is a function > > apply: (A, B)-> C > > where a: A, b: B and C should match the possible result type from the > context. I knew that 'apply' is called 'elt' in FriCAS with basically > the same behaviour, i.e. 'syntactic sugar'. > > Then I went to https://fricas.github.io, typed 'String' in the search > field and then clicked on 'elt'. > > You see, it is pretty easy, if one knows already. Otherwise, you did the > right thing. Ask on fricas-devel. Thanks, shame on me. > > I would actually like if more people were so brave to ask here instead > of giving up FriCAS completely. We all know that our documentation is > not yet perfect and it takes quite some experience to find the right > thing quickly. > > Greg, actually, I was quite surprised when I read your mail. You > obviously seem to successfully apply githup copilot, right? I remember > that I tried some AI (not sure whether it was the github thing). At that > time the code looked quite like SPAD, but when looking closer, it was > writing Sage code in SPAD syntax with domains and categories that did > not exist in FriCAS. Maybe it improved meanwhile. You need to start a fresh session. Without Python/Sagemath code in "its" memory. Otherwise it does not know what you are trying to achieve. It's highly context sensitive. Personally, to correct my previous sentence, I use Google Antigravity for my unit testings. Greg PS: Install fricas-vscode, the .vsix, see my GitHub account, and try VSCode or Antigravity (+). And have fun! Always check things of course. I use Copilot since some time now. I use it via fricas-vscode, a toy addon. It's compatible with Antigravity so I used, the latter, it to code my testing things... > > -- > 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 visit https://groups.google.com/d/msgid/fricas-devel/fd147bbb-df40-483d-a6ff-4f920257276d%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 visit https://groups.google.com/d/msgid/fricas-devel/47373e38-d4b1-4ddd-91f4-98bab5246bf4n%40googlegroups.com.
