On Saturday, May 1, 2021 at 4:39:17 PM UTC+2 [email protected] wrote: > You can use `reverse` in order to reverse the word, by the way, rather > than baking the index arithmetic into the `_b` function. > > That means _b = ( n e. Word ( 0 ..^ b ) , b e. NN |-> sum_ k e. dom n ( ( ( reverse ` n ) ` k ) x. ( b ^ k ) ) )
-- You received this message because you are subscribed to the Google Groups "Metamath" 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/metamath/fefa4a0a-bad5-4246-9805-6f9bec6a59dan%40googlegroups.com.
