The output file type is for Integers and each solution (hundreds of thousands of them) is tagged with a six-digit integer identifier for searching and analysis purposes. Leading zeros allow to distinguish these tags from other integers (the solutions). I was thinking about converting the tags with leading zeros into strings, but, then writing them out will be a problem since output file is of type Integer.
On Tuesday, April 12, 2022 at 4:04:28 PM UTC-5 ra...@hemmecke.org wrote: > > Is it possible to write integers with leading zeros into output files? > The > > write! function seems to strip the leading zeros. > > Ehm, I do not immediately see a method. But since that obviously does > not help you, can you help me in understanding what you are trying to > achieve? And it is maybe easiest if you do this simply with GNU tools > sed, awk and the like. > > Maybe a little explanation if you type an integer with leading zeros > into FriCAS, then the leading zeroes are nowhere stored in FriCAS, > because an integer is (more or less) just a string of bits (0 or 1) with > leading digit 1 (except for the number 0). So if you want leading zeros > printed (what would be a reason?) you must write a function to do this > for you. > > 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/f262f158-5335-4212-80aa-1dadd27d7abbn%40googlegroups.com.