427 changed files with 0 additions and 313547 deletions
@ -1,3 +0,0 @@
@@ -1,3 +0,0 @@
|
||||
nav.toc .logo { |
||||
max-height: 12em; |
||||
} |
||||
@ -1,260 +0,0 @@
@@ -1,260 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.0/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
] |
||||
} |
||||
|
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
|
Before Width: | Height: | Size: 36 KiB |
@ -1,248 +0,0 @@
@@ -1,248 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.5/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.11/lodash.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'lunr', 'lodash'], function($, lunr, _) { |
||||
|
||||
$(document).ready(function() { |
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
}) |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'only', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
|
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title',{boost: 100}) |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
|
||||
$(function(){ |
||||
searchresults = $('#documenter-search-results'); |
||||
searchinfo = $('#documenter-search-info'); |
||||
searchbox = $('#documenter-search-query'); |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
searchinfo.text("Number of results: " + results.length) |
||||
searchresults.empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a class="docs-label">'+data.title+'</a>') |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="docs-category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
searchresults.append(li) |
||||
}) |
||||
} |
||||
|
||||
function update_search_box() { |
||||
querystring = searchbox.val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
searchbox.keyup(_.debounce(update_search_box, 250)) |
||||
searchbox.change(update_search_box) |
||||
|
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
searchbox.val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
}) |
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,42 +0,0 @@
@@ -1,42 +0,0 @@
|
||||
// Small function to quickly swap out themes. Gets put into the <head> tag..
|
||||
function set_theme_from_local_storage() { |
||||
// Browser does not support Web Storage, bail early.
|
||||
if(typeof(window.localStorage) === "undefined") return; |
||||
// Get the user-picked theme from localStorage. May be `null`, which means the default
|
||||
// theme.
|
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
// Initialize a few variables for the loop:
|
||||
//
|
||||
// - active: will contain the index of the theme that should be active. Note that there
|
||||
// is no guarantee that localStorage contains sane values. If `active` stays `null`
|
||||
// we either could not find the theme or it is the default (primary) theme anyway.
|
||||
// Either way, we then need to stick to the primary theme.
|
||||
//
|
||||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets
|
||||
// that are not the currently active theme)
|
||||
var active = null; var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute
|
||||
// which must contain the name of the theme. The names in localStorage much match this.
|
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
// attribute not set => non-theme stylesheet => ignore
|
||||
if(themename === null) continue; |
||||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary
|
||||
// attribute set.
|
||||
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); |
||||
// If we find a matching theme (and it's not the default), we'll set active to non-null
|
||||
if(!isprimary && themename === theme) active = i; |
||||
// Store the style sheets of inactive themes so that we could disable them
|
||||
if(themename !== theme) disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
|
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
// and (2) disable all the other theme stylesheets
|
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
} |
||||
set_theme_from_local_storage(); |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,24 +0,0 @@
@@ -1,24 +0,0 @@
|
||||
x = 1//3 |
||||
y = 2//5 |
||||
|
||||
x + y |
||||
|
||||
x * y |
||||
|
||||
function foo() |
||||
println("This string is printed to stdout.") |
||||
return [1, 2, 3, 4] |
||||
end |
||||
|
||||
foo() |
||||
|
||||
using Plots |
||||
x = range(0, stop=6π, length=1000) |
||||
y1 = sin.(x) |
||||
y2 = cos.(x) |
||||
plot(x, [y1, y2]) |
||||
|
||||
z = 1.0 + 2.0im |
||||
|
||||
# This file was generated using Literate.jl, https://github.com/fredrikekre/Literate.jl |
||||
|
||||
File diff suppressed because one or more lines are too long
@ -1,100 +0,0 @@
@@ -1,100 +0,0 @@
|
||||
{ |
||||
"cells": [ |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"# Rational numbers\n", |
||||
"\n", |
||||
"In julia rational numbers can be constructed with the `//` operator.\n", |
||||
"Lets define two rational numbers, `x` and `y`:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "1//3" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"x = 1//3" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "2//5" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"y = 2//5" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
}, |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"When adding `x` and `y` together we obtain a new rational number:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "11//15" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"z = x + y" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
}, |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"*This notebook was generated using [Literate.jl](https://github.com/fredrikekre/Literate.jl).*" |
||||
], |
||||
"metadata": {} |
||||
} |
||||
], |
||||
"nbformat_minor": 3, |
||||
"metadata": { |
||||
"language_info": { |
||||
"file_extension": ".jl", |
||||
"mimetype": "application/julia", |
||||
"name": "julia", |
||||
"version": "1.2.0" |
||||
}, |
||||
"kernelspec": { |
||||
"name": "julia-1.2", |
||||
"display_name": "Julia 1.2.0", |
||||
"language": "julia" |
||||
} |
||||
}, |
||||
"nbformat": 4 |
||||
} |
||||
@ -1,6 +0,0 @@
@@ -1,6 +0,0 @@
|
||||
x = 1//3 |
||||
|
||||
y = 2//5 |
||||
|
||||
z = x + y |
||||
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,12 +0,0 @@
@@ -1,12 +0,0 @@
|
||||
# # Rational numbers |
||||
# |
||||
# In julia rational numbers can be constructed with the `//` operator. |
||||
# Lets define two rational numbers, `x` and `y`: |
||||
|
||||
x = 1//3 |
||||
#- |
||||
y = 2//5 |
||||
|
||||
# When adding `x` and `y` together we obtain a new rational number: |
||||
|
||||
z = x + y |
||||
File diff suppressed because one or more lines are too long
@ -1,2 +0,0 @@
@@ -1,2 +0,0 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css" rel="stylesheet" type="text/css"/><link href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.2.0/require.min.js" data-main="assets/documenter.js"></script><script src="siteinfo.js"></script><script src="../versions.js"></script><link href="assets/custom.css" rel="stylesheet" type="text/css"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-dark.css" data-theme-name="documenter-dark"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="index.html"><img src="assets/logo.png" alt="Literate.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit">Literate.jl</span></div><form class="docs-search" action="search.html"><input class="docs-search-query" id="documenter-search-query" name="q" type="text" placeholder="Search docs"/></form><ul class="docs-menu"><li><a class="tocitem" href="index.html"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="fileformat.html"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="pipeline.html"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="outputformats.html"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="customprocessing.html"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="documenter.html"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="generated/example.html"><strong>7.</strong> Example</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href="search.html">Search</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href="search.html">Search</a></li></ul></nav><div class="docs-right"><a class="docs-settings-button fas fa-cog" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-sidebar-button fa fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a></div></header><article><p id="documenter-search-info">Loading search...</p><ul id="documenter-search-results"></ul></article></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> on <span class="colophon-date" title="Monday 14 October 2019 23:36">Monday 14 October 2019</span>. Using Julia version 1.2.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body><script src="search_index.js"></script><script src="assets/search.js"></script></html> |
||||
File diff suppressed because one or more lines are too long
@ -1 +0,0 @@
@@ -1 +0,0 @@
|
||||
var DOCUMENTER_CURRENT_VERSION = "preview-PR75"; |
||||
@ -1,3 +0,0 @@
@@ -1,3 +0,0 @@
|
||||
nav.toc .logo { |
||||
max-height: 12em; |
||||
} |
||||
@ -1,260 +0,0 @@
@@ -1,260 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.0/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
] |
||||
} |
||||
|
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
|
Before Width: | Height: | Size: 36 KiB |
@ -1,248 +0,0 @@
@@ -1,248 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.5/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.11/lodash.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'lunr', 'lodash'], function($, lunr, _) { |
||||
|
||||
$(document).ready(function() { |
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
}) |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'only', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
|
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title',{boost: 100}) |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
|
||||
$(function(){ |
||||
searchresults = $('#documenter-search-results'); |
||||
searchinfo = $('#documenter-search-info'); |
||||
searchbox = $('#documenter-search-query'); |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
searchinfo.text("Number of results: " + results.length) |
||||
searchresults.empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a class="docs-label">'+data.title+'</a>') |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="docs-category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
searchresults.append(li) |
||||
}) |
||||
} |
||||
|
||||
function update_search_box() { |
||||
querystring = searchbox.val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
searchbox.keyup(_.debounce(update_search_box, 250)) |
||||
searchbox.change(update_search_box) |
||||
|
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
searchbox.val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
}) |
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,42 +0,0 @@
@@ -1,42 +0,0 @@
|
||||
// Small function to quickly swap out themes. Gets put into the <head> tag..
|
||||
function set_theme_from_local_storage() { |
||||
// Browser does not support Web Storage, bail early.
|
||||
if(typeof(window.localStorage) === "undefined") return; |
||||
// Get the user-picked theme from localStorage. May be `null`, which means the default
|
||||
// theme.
|
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
// Initialize a few variables for the loop:
|
||||
//
|
||||
// - active: will contain the index of the theme that should be active. Note that there
|
||||
// is no guarantee that localStorage contains sane values. If `active` stays `null`
|
||||
// we either could not find the theme or it is the default (primary) theme anyway.
|
||||
// Either way, we then need to stick to the primary theme.
|
||||
//
|
||||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets
|
||||
// that are not the currently active theme)
|
||||
var active = null; var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute
|
||||
// which must contain the name of the theme. The names in localStorage much match this.
|
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
// attribute not set => non-theme stylesheet => ignore
|
||||
if(themename === null) continue; |
||||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary
|
||||
// attribute set.
|
||||
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); |
||||
// If we find a matching theme (and it's not the default), we'll set active to non-null
|
||||
if(!isprimary && themename === theme) active = i; |
||||
// Store the style sheets of inactive themes so that we could disable them
|
||||
if(themename !== theme) disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
|
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
// and (2) disable all the other theme stylesheets
|
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
} |
||||
set_theme_from_local_storage(); |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,24 +0,0 @@
@@ -1,24 +0,0 @@
|
||||
x = 1//3 |
||||
y = 2//5 |
||||
|
||||
x + y |
||||
|
||||
x * y |
||||
|
||||
function foo() |
||||
println("This string is printed to stdout.") |
||||
return [1, 2, 3, 4] |
||||
end |
||||
|
||||
foo() |
||||
|
||||
using Plots |
||||
x = range(0, stop=6π, length=1000) |
||||
y1 = sin.(x) |
||||
y2 = cos.(x) |
||||
plot(x, [y1, y2]) |
||||
|
||||
z = 1.0 + 2.0im |
||||
|
||||
# This file was generated using Literate.jl, https://github.com/fredrikekre/Literate.jl |
||||
|
||||
File diff suppressed because one or more lines are too long
@ -1,100 +0,0 @@
@@ -1,100 +0,0 @@
|
||||
{ |
||||
"cells": [ |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"# Rational numbers\n", |
||||
"\n", |
||||
"In julia rational numbers can be constructed with the `//` operator.\n", |
||||
"Lets define two rational numbers, `x` and `y`:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "1//3" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"x = 1//3" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "2//5" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"y = 2//5" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
}, |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"When adding `x` and `y` together we obtain a new rational number:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "11//15" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"z = x + y" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
}, |
||||
{ |
||||
"outputs": [], |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"*This notebook was generated using [Literate.jl](https://github.com/fredrikekre/Literate.jl).*" |
||||
], |
||||
"metadata": {} |
||||
} |
||||
], |
||||
"nbformat_minor": 3, |
||||
"metadata": { |
||||
"language_info": { |
||||
"file_extension": ".jl", |
||||
"mimetype": "application/julia", |
||||
"name": "julia", |
||||
"version": "1.2.0" |
||||
}, |
||||
"kernelspec": { |
||||
"name": "julia-1.2", |
||||
"display_name": "Julia 1.2.0", |
||||
"language": "julia" |
||||
} |
||||
}, |
||||
"nbformat": 4 |
||||
} |
||||
@ -1,6 +0,0 @@
@@ -1,6 +0,0 @@
|
||||
x = 1//3 |
||||
|
||||
y = 2//5 |
||||
|
||||
z = x + y |
||||
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,12 +0,0 @@
@@ -1,12 +0,0 @@
|
||||
# # Rational numbers |
||||
# |
||||
# In julia rational numbers can be constructed with the `//` operator. |
||||
# Lets define two rational numbers, `x` and `y`: |
||||
|
||||
x = 1//3 |
||||
#- |
||||
y = 2//5 |
||||
|
||||
# When adding `x` and `y` together we obtain a new rational number: |
||||
|
||||
z = x + y |
||||
File diff suppressed because one or more lines are too long
@ -1,2 +0,0 @@
@@ -1,2 +0,0 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css" rel="stylesheet" type="text/css"/><link href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.2.0/require.min.js" data-main="assets/documenter.js"></script><script src="siteinfo.js"></script><script src="../versions.js"></script><link href="assets/custom.css" rel="stylesheet" type="text/css"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-dark.css" data-theme-name="documenter-dark"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="index.html"><img src="assets/logo.png" alt="Literate.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit">Literate.jl</span></div><form class="docs-search" action="search.html"><input class="docs-search-query" id="documenter-search-query" name="q" type="text" placeholder="Search docs"/></form><ul class="docs-menu"><li><a class="tocitem" href="index.html"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="fileformat.html"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="pipeline.html"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="outputformats.html"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="customprocessing.html"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="documenter.html"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="generated/example.html"><strong>7.</strong> Example</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href="search.html">Search</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href="search.html">Search</a></li></ul></nav><div class="docs-right"><a class="docs-settings-button fas fa-cog" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-sidebar-button fa fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a></div></header><article><p id="documenter-search-info">Loading search...</p><ul id="documenter-search-results"></ul></article></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> on <span class="colophon-date" title="Saturday 16 November 2019 03:01">Saturday 16 November 2019</span>. Using Julia version 1.2.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body><script src="search_index.js"></script><script src="assets/search.js"></script></html> |
||||
File diff suppressed because one or more lines are too long
@ -1 +0,0 @@
@@ -1 +0,0 @@
|
||||
var DOCUMENTER_CURRENT_VERSION = "preview-PR81"; |
||||
@ -1,3 +0,0 @@
@@ -1,3 +0,0 @@
|
||||
nav.toc .logo { |
||||
max-height: 12em; |
||||
} |
||||
@ -1,260 +0,0 @@
@@ -1,260 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.1/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
] |
||||
} |
||||
|
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
|
Before Width: | Height: | Size: 15 KiB |
|
Before Width: | Height: | Size: 36 KiB |
@ -1,247 +0,0 @@
@@ -1,247 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.6/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.15/lodash.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min', |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'lunr', 'lodash'], function($, lunr, _) { |
||||
|
||||
$(document).ready(function() { |
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
}) |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, only, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
|
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title',{boost: 100}) |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
|
||||
$(function(){ |
||||
searchresults = $('#documenter-search-results'); |
||||
searchinfo = $('#documenter-search-info'); |
||||
searchbox = $('#documenter-search-query'); |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
searchinfo.text("Number of results: " + results.length) |
||||
searchresults.empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a class="docs-label">'+data.title+'</a>') |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="docs-category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
searchresults.append(li) |
||||
}) |
||||
} |
||||
|
||||
function update_search_box() { |
||||
querystring = searchbox.val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
searchbox.keyup(_.debounce(update_search_box, 250)) |
||||
searchbox.change(update_search_box) |
||||
|
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
searchbox.val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
}) |
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,42 +0,0 @@
@@ -1,42 +0,0 @@
|
||||
// Small function to quickly swap out themes. Gets put into the <head> tag..
|
||||
function set_theme_from_local_storage() { |
||||
// Browser does not support Web Storage, bail early.
|
||||
if(typeof(window.localStorage) === "undefined") return; |
||||
// Get the user-picked theme from localStorage. May be `null`, which means the default
|
||||
// theme.
|
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
// Initialize a few variables for the loop:
|
||||
//
|
||||
// - active: will contain the index of the theme that should be active. Note that there
|
||||
// is no guarantee that localStorage contains sane values. If `active` stays `null`
|
||||
// we either could not find the theme or it is the default (primary) theme anyway.
|
||||
// Either way, we then need to stick to the primary theme.
|
||||
//
|
||||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets
|
||||
// that are not the currently active theme)
|
||||
var active = null; var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute
|
||||
// which must contain the name of the theme. The names in localStorage much match this.
|
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
// attribute not set => non-theme stylesheet => ignore
|
||||
if(themename === null) continue; |
||||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary
|
||||
// attribute set.
|
||||
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); |
||||
// If we find a matching theme (and it's not the default), we'll set active to non-null
|
||||
if(!isprimary && themename === theme) active = i; |
||||
// Store the style sheets of inactive themes so that we could disable them
|
||||
if(themename !== theme) disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
|
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
// and (2) disable all the other theme stylesheets
|
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
} |
||||
set_theme_from_local_storage(); |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,31 +0,0 @@
@@ -1,31 +0,0 @@
|
||||
x = 1//3 |
||||
y = 2//5 |
||||
|
||||
x + y |
||||
|
||||
x * y |
||||
|
||||
function foo() |
||||
println("This string is printed to stdout.") |
||||
return [1, 2, 3, 4] |
||||
end |
||||
|
||||
foo() |
||||
|
||||
1 + 1; |
||||
|
||||
using Plots |
||||
x = range(0, stop=6π, length=1000) |
||||
y1 = sin.(x) |
||||
y2 = cos.(x) |
||||
plot(x, [y1, y2]) |
||||
|
||||
x = 123 |
||||
|
||||
function pre(s::String) |
||||
s = replace(s, "x = 123" => "y = 321") |
||||
return s |
||||
end |
||||
|
||||
# This file was generated using Literate.jl, https://github.com/fredrikekre/Literate.jl |
||||
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,99 +0,0 @@
@@ -1,99 +0,0 @@
|
||||
{ |
||||
"cells": [ |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"# Rational numbers\n", |
||||
"\n", |
||||
"In julia rational numbers can be constructed with the `//` operator.\n", |
||||
"Lets define two rational numbers, `x` and `y`:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "1//3" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"x = 1//3" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "2//5" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"y = 2//5" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
}, |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"When adding `x` and `y` together we obtain a new rational number:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "11//15" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"z = x + y" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
}, |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"---\n", |
||||
"\n", |
||||
"*This notebook was generated using [Literate.jl](https://github.com/fredrikekre/Literate.jl).*" |
||||
], |
||||
"metadata": {} |
||||
} |
||||
], |
||||
"nbformat_minor": 3, |
||||
"metadata": { |
||||
"language_info": { |
||||
"file_extension": ".jl", |
||||
"mimetype": "application/julia", |
||||
"name": "julia", |
||||
"version": "1.4.0" |
||||
}, |
||||
"kernelspec": { |
||||
"name": "julia-1.4", |
||||
"display_name": "Julia 1.4.0", |
||||
"language": "julia" |
||||
} |
||||
}, |
||||
"nbformat": 4 |
||||
} |
||||
@ -1,6 +0,0 @@
@@ -1,6 +0,0 @@
|
||||
x = 1//3 |
||||
|
||||
y = 2//5 |
||||
|
||||
z = x + y |
||||
|
||||
File diff suppressed because one or more lines are too long
@ -1,12 +0,0 @@
@@ -1,12 +0,0 @@
|
||||
# # Rational numbers |
||||
# |
||||
# In julia rational numbers can be constructed with the `//` operator. |
||||
# Lets define two rational numbers, `x` and `y`: |
||||
|
||||
x = 1//3 |
||||
#- |
||||
y = 2//5 |
||||
|
||||
# When adding `x` and `y` together we obtain a new rational number: |
||||
|
||||
z = x + y |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,2 +0,0 @@
@@ -1,2 +0,0 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../assets/documenter.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><link href="../assets/custom.css" rel="stylesheet" type="text/css"/><link href="../assets/favicon.ico" rel="icon" type="image/x-icon"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-dark.css" data-theme-name="documenter-dark"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="../assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../"><img src="../assets/logo.png" alt="Literate.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit">Literate.jl</span></div><form class="docs-search" action><input class="docs-search-query" id="documenter-search-query" name="q" type="text" placeholder="Search docs"/></form><ul class="docs-menu"><li><a class="tocitem" href="../"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="../fileformat/"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="../pipeline/"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="../outputformats/"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="../customprocessing/"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="../documenter/"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="../tips/"><strong>7.</strong> Tips and Tricks</a></li><li><a class="tocitem" href="../generated/example/"><strong>8.</strong> Example</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>Search</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>Search</a></li></ul></nav><div class="docs-right"><a class="docs-settings-button fas fa-cog" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-sidebar-button fa fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a></div></header><article><p id="documenter-search-info">Loading search...</p><ul id="documenter-search-results"></ul></article></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> on <span class="colophon-date" title="Tuesday 14 April 2020 09:39">Tuesday 14 April 2020</span>. Using Julia version 1.4.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body><script src="../search_index.js"></script><script src="../assets/search.js"></script></html> |
||||
File diff suppressed because one or more lines are too long
@ -1 +0,0 @@
@@ -1 +0,0 @@
|
||||
var DOCUMENTER_CURRENT_VERSION = "previews/PR100"; |
||||
File diff suppressed because one or more lines are too long
@ -1,7 +0,0 @@
@@ -1,7 +0,0 @@
|
||||
div#documenter .docs-sidebar .docs-logo > img { |
||||
max-height: 10em; |
||||
} |
||||
div#documenter .docs-sidebar .docs-package-name { |
||||
padding-top: 1rem; |
||||
} |
||||
/*1.0rem 0 0.5rem 0;*/ |
||||
@ -1,260 +0,0 @@
@@ -1,260 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.1/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
] |
||||
} |
||||
|
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
|
Before Width: | Height: | Size: 15 KiB |
|
Before Width: | Height: | Size: 36 KiB |
@ -1,247 +0,0 @@
@@ -1,247 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.6/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.15/lodash.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min', |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'lunr', 'lodash'], function($, lunr, _) { |
||||
|
||||
$(document).ready(function() { |
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
}) |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, only, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
|
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title',{boost: 100}) |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
|
||||
$(function(){ |
||||
searchresults = $('#documenter-search-results'); |
||||
searchinfo = $('#documenter-search-info'); |
||||
searchbox = $('#documenter-search-query'); |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
searchinfo.text("Number of results: " + results.length) |
||||
searchresults.empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a class="docs-label">'+data.title+'</a>') |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="docs-category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
searchresults.append(li) |
||||
}) |
||||
} |
||||
|
||||
function update_search_box() { |
||||
querystring = searchbox.val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
searchbox.keyup(_.debounce(update_search_box, 250)) |
||||
searchbox.change(update_search_box) |
||||
|
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
searchbox.val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
}) |
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,42 +0,0 @@
@@ -1,42 +0,0 @@
|
||||
// Small function to quickly swap out themes. Gets put into the <head> tag..
|
||||
function set_theme_from_local_storage() { |
||||
// Browser does not support Web Storage, bail early.
|
||||
if(typeof(window.localStorage) === "undefined") return; |
||||
// Get the user-picked theme from localStorage. May be `null`, which means the default
|
||||
// theme.
|
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
// Initialize a few variables for the loop:
|
||||
//
|
||||
// - active: will contain the index of the theme that should be active. Note that there
|
||||
// is no guarantee that localStorage contains sane values. If `active` stays `null`
|
||||
// we either could not find the theme or it is the default (primary) theme anyway.
|
||||
// Either way, we then need to stick to the primary theme.
|
||||
//
|
||||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets
|
||||
// that are not the currently active theme)
|
||||
var active = null; var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute
|
||||
// which must contain the name of the theme. The names in localStorage much match this.
|
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
// attribute not set => non-theme stylesheet => ignore
|
||||
if(themename === null) continue; |
||||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary
|
||||
// attribute set.
|
||||
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); |
||||
// If we find a matching theme (and it's not the default), we'll set active to non-null
|
||||
if(!isprimary && themename === theme) active = i; |
||||
// Store the style sheets of inactive themes so that we could disable them
|
||||
if(themename !== theme) disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
|
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
// and (2) disable all the other theme stylesheets
|
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
} |
||||
set_theme_from_local_storage(); |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,31 +0,0 @@
@@ -1,31 +0,0 @@
|
||||
x = 1//3 |
||||
y = 2//5 |
||||
|
||||
x + y |
||||
|
||||
x * y |
||||
|
||||
function foo() |
||||
println("This string is printed to stdout.") |
||||
return [1, 2, 3, 4] |
||||
end |
||||
|
||||
foo() |
||||
|
||||
1 + 1; |
||||
|
||||
using Plots |
||||
x = range(0, stop=6π, length=1000) |
||||
y1 = sin.(x) |
||||
y2 = cos.(x) |
||||
plot(x, [y1, y2]) |
||||
|
||||
x = 123 |
||||
|
||||
function pre(s::String) |
||||
s = replace(s, "x = 123" => "y = 321") |
||||
return s |
||||
end |
||||
|
||||
# This file was generated using Literate.jl, https://github.com/fredrikekre/Literate.jl |
||||
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,99 +0,0 @@
@@ -1,99 +0,0 @@
|
||||
{ |
||||
"cells": [ |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"# Rational numbers\n", |
||||
"\n", |
||||
"In julia rational numbers can be constructed with the `//` operator.\n", |
||||
"Lets define two rational numbers, `x` and `y`:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "1//3" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"x = 1//3" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 1 |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "2//5" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"y = 2//5" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 2 |
||||
}, |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"When adding `x` and `y` together we obtain a new rational number:" |
||||
], |
||||
"metadata": {} |
||||
}, |
||||
{ |
||||
"outputs": [ |
||||
{ |
||||
"output_type": "execute_result", |
||||
"data": { |
||||
"text/plain": "11//15" |
||||
}, |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
} |
||||
], |
||||
"cell_type": "code", |
||||
"source": [ |
||||
"z = x + y" |
||||
], |
||||
"metadata": {}, |
||||
"execution_count": 3 |
||||
}, |
||||
{ |
||||
"cell_type": "markdown", |
||||
"source": [ |
||||
"---\n", |
||||
"\n", |
||||
"*This notebook was generated using [Literate.jl](https://github.com/fredrikekre/Literate.jl).*" |
||||
], |
||||
"metadata": {} |
||||
} |
||||
], |
||||
"nbformat_minor": 3, |
||||
"metadata": { |
||||
"language_info": { |
||||
"file_extension": ".jl", |
||||
"mimetype": "application/julia", |
||||
"name": "julia", |
||||
"version": "1.4.1" |
||||
}, |
||||
"kernelspec": { |
||||
"name": "julia-1.4", |
||||
"display_name": "Julia 1.4.1", |
||||
"language": "julia" |
||||
} |
||||
}, |
||||
"nbformat": 4 |
||||
} |
||||
@ -1,6 +0,0 @@
@@ -1,6 +0,0 @@
|
||||
x = 1//3 |
||||
|
||||
y = 2//5 |
||||
|
||||
z = x + y |
||||
|
||||
File diff suppressed because one or more lines are too long
@ -1,12 +0,0 @@
@@ -1,12 +0,0 @@
|
||||
# # Rational numbers |
||||
# |
||||
# In julia rational numbers can be constructed with the `//` operator. |
||||
# Lets define two rational numbers, `x` and `y`: |
||||
|
||||
x = 1//3 |
||||
#- |
||||
y = 2//5 |
||||
|
||||
# When adding `x` and `y` together we obtain a new rational number: |
||||
|
||||
z = x + y |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -1,2 +0,0 @@
@@ -1,2 +0,0 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link rel="canonical" href="https://fredrikekre.github.io/Literate.jl/v2/search/"/><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../assets/documenter.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><link href="../assets/custom.css" rel="stylesheet" type="text/css"/><link href="../assets/favicon.ico" rel="icon" type="image/x-icon"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-dark.css" data-theme-name="documenter-dark"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="../assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../"><img src="../assets/logo.png" alt="Literate.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit">Literate.jl</span></div><form class="docs-search" action><input class="docs-search-query" id="documenter-search-query" name="q" type="text" placeholder="Search docs"/></form><ul class="docs-menu"><li><a class="tocitem" href="../"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="../fileformat/"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="../pipeline/"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="../outputformats/"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="../customprocessing/"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="../documenter/"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="../tips/"><strong>7.</strong> Tips and Tricks</a></li><li><a class="tocitem" href="../generated/example/"><strong>8.</strong> Example</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>Search</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>Search</a></li></ul></nav><div class="docs-right"><a class="docs-settings-button fas fa-cog" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-sidebar-button fa fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a></div></header><article><p id="documenter-search-info">Loading search...</p><ul id="documenter-search-results"></ul></article></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> on <span class="colophon-date" title="Thursday 23 April 2020 15:46">Thursday 23 April 2020</span>. Using Julia version 1.4.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body><script src="../search_index.js"></script><script src="../assets/search.js"></script></html> |
||||
File diff suppressed because one or more lines are too long
@ -1 +0,0 @@
@@ -1 +0,0 @@
|
||||
var DOCUMENTER_CURRENT_VERSION = "previews/PR102"; |
||||
File diff suppressed because one or more lines are too long
@ -1,7 +0,0 @@
@@ -1,7 +0,0 @@
|
||||
div#documenter .docs-sidebar .docs-logo > img { |
||||
max-height: 10em; |
||||
} |
||||
div#documenter .docs-sidebar .docs-package-name { |
||||
padding-top: 1rem; |
||||
} |
||||
/*1.0rem 0 0.5rem 0;*/ |
||||
@ -1,260 +0,0 @@
@@ -1,260 +0,0 @@
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.1/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.10.3/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
] |
||||
} |
||||
|
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
|
Before Width: | Height: | Size: 15 KiB |
|
Before Width: | Height: | Size: 36 KiB |
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in new issue