Quelle  using-library.min.js   Sprache: JAVA

if(!window.hasOwnProperty("librariesLoadedFromGAP")){window.librariesLoadedFromGAP={}}function myCallback(){$runThis}if(window.librariesLoadedFromGAP.hasOwnProperty($library)){myCallback()}else{var filenameString=JSON.stringify($library);var GAPcode="JUPVIZFileContents( LoadJavaScriptFile( "+filenameString+" ) );";window.runGAP(GAPcode,function(result,error){if(error)throw Error("When loading library "+filenameString+": "+error);result=result["text/plain"];window.librariesLoadedFromGAP[$library]=result;try{var whatItEvaluatesTo=eval(result)}catch(e){throw Error("Error evaluating code for library "+filenameString+": "+e)}return myCallback()})}