[kevinrpope]

It does specifically say raw carrots - typically when mashing food it's cooked then mashed, so I'd assume cooked carrots in any form are OK.