FriCAS loading ...