The Preview Activity on that page is a WeBWorK/PG exercise whose code
is included directly in the PreTeXt source of the book. The exercises
at the bottom of the page come from the WeBWorK Open Problem Library
and are just called directly from the OPL.
PG assesses formula expressions as equivalent by taking a bunch of
random input values and checking that the outputs match. Additional
things can be done if you actually want to distinguish between
different forms for equivalent expressions. So it is not a CAS,
although it is possible to tie questions into Sage. It just adds a lot
of processing overhead.
> --
> You received this message because you are subscribed to the Google Groups "PreTeXt support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
pretext-suppo...@googlegroups.com.
> To view this discussion visit
https://groups.google.com/d/msgid/pretext-support/2c86cc17-c87a-46d2-83da-d1b376b5562en%40googlegroups.com.