AOPS is a comprehensive textbook. I was not sure if that is what you were looking for since you asked for a workbook.
Yeah that's my hesitation. I wasn't really looking for a textbook... More of a lighter workbook type thing .. you know, for summer. The books do look good but ... I'm afraid they'd be sort-of too intense and off-putting for summer.
If you're main goal is figuring out how to implement efofex or other software, one thing you could do is just pick up any-old pre-algebra workbook from a bookstore or local homeschool store and work from that. You can most likely get a list of what's covered in your school district's pre-algebra curriculum online at your district website, so you could cross-check that vs the workbook to be sure you're covering the AT you need for next year.
polarbear
