double-double
Version:
Pure double-double precision functions *with strict error bounds*.
1 lines • 2.21 kB
JavaScript
(window.webpackJsonp=window.webpackJsonp||[]).push([[62],{197:function(e,a,t){"use strict";t.r(a);var n=t(2),l=t(0),r=t.n(l),c=t(210),i=t(212),o=t(209),s=t(208),m=t(211),u=t(198),d=t.n(u),g=[{title:r.a.createElement(r.a.Fragment,null,"Cutting-edge research"),imageUrl:"img/favicon.png",description:r.a.createElement(r.a.Fragment,null,"Code and error bounds are based on",r.a.createElement("a",{href:"https://hal.archives-ouvertes.fr/hal-01351529v3/document"}," research "),"by Mioara Joldes, Jean-Michel Muller and Valentina Popescu.")},{title:r.a.createElement(r.a.Fragment,null,"Super fast"),imageUrl:"img/favicon.png",description:r.a.createElement(r.a.Fragment,null,"Nearly all functions are straight-line, not depending on each other while being fully optimized.")},{title:r.a.createElement(r.a.Fragment,null,"Correct"),imageUrl:"img/favicon.png",description:r.a.createElement(r.a.Fragment,null,"Extensive unit tests on all functions.")}];function E(e){var a=e.imageUrl,t=e.title,n=e.description,l=Object(m.a)(a);return r.a.createElement("div",{className:Object(c.a)("col col--4",d.a.feature)},l&&r.a.createElement("div",{className:"text--center"},r.a.createElement("img",{className:d.a.featureImage,src:l,alt:t})),r.a.createElement("h3",null,t),r.a.createElement("p",null,n))}a.default=function(){var e=Object(s.a)().siteConfig,a=void 0===e?{}:e;return r.a.createElement(i.a,{title:"Hello from "+a.title,description:"Description will go into a meta tag in <head />"},r.a.createElement("header",{className:Object(c.a)("hero hero--primary",d.a.heroBanner)},r.a.createElement("div",{className:"container"},r.a.createElement("h1",{className:"hero__title"},a.title),r.a.createElement("p",{className:"hero__subtitle"},a.tagline),r.a.createElement("div",{className:d.a.buttons},r.a.createElement(o.a,{className:Object(c.a)("button button--outline button--secondary button--lg",d.a.getStarted),to:Object(m.a)("docs/")},"Get Started")))),r.a.createElement("main",null,g&&g.length>0&&r.a.createElement("section",{className:d.a.features},r.a.createElement("div",{className:"container"},r.a.createElement("div",{className:"row"},g.map((function(e,a){return r.a.createElement(E,Object(n.a)({key:a},e))})))))))}}}]);