Links for giac