Here's a math block. Let's see how it's rendered.
Apparently not at all. So what about the same thing inlined:
"2.2 (created: 2009/10/28 19:04:27) | |
set ht="//*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @class='lk' or @role='link' or @role='button' or @role='option'] | //input[not(@type='hidden')] | //a | //area | //iframe | //textarea | //button | //select | //xhtml:input[not(@type='hidden')] | //xhtml:a | //xhtml:area | //xhtml:iframe | //xhtml:textarea | //xhtml:button | //xhtml:select | //div[contains(@class,'J-K-I J-J5-Ji')]" | |
set eht="//*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @class='lk' or @role='link' or @role='button' or @role='option'] | //input[not(@type='hidden')] | //a | //area | //iframe | //textarea | //button | //select | //xhtml:input[not(@type='hidden')] | //xhtml:a | //xhtml:area | //xhtml:iframe | //xhtml:textarea | //xhtml:button | //xhtml:select | //div[contains(@class,'J-K-I J-J5-Ji')]" | |
set editor=/usr/local/bin/external-editor.sh | |
set runtimepath=/Users/gnn/.vimperator | |
javascript <<BLOCK | |
(function(){ | |
var feedPanel = document.creat |
from oemof.network import Source | |
class Investment: | |
""" Components (Nodes?) grouped under `Investment` objects are optimized | |
for investment. | |
""" | |
def __init__(self, maximum=float('+inf')): | |
self.maximum = maximum |
spec Sorting = | |
TotalOrder and List | |
then { | |
preds is_ordered : List; | |
permutation : List * List | |
vars x,y:Elem; L,L1,L2:List | |
. is_ordered([]) | |
. is_ordered(x::[]) | |
. is_ordered(x::y::L) <=> x<=y /\ is_ordered(y::L) | |
. permutation(L1,L2) <=> (forall x:Elem . count(x,L1) = count(x,L2)) |
import os | |
import zipfile | |
with zipfile.ZipFile(PATH_TO_ZIPFILE) as zf: | |
for filename in zf.namelist(): | |
zf.extract(filename) | |
# Do stuff with `filename`. | |
os.remove(filename) |
from functools import partial | |
import json | |
from geocube.api.core import make_geocube | |
from geocube.rasterize import rasterize_image | |
from rasterio.enums import MergeAlg | |
from shapely.wkt import loads | |
from shapely.geometry import box, mapping, MultiPoint | |
import pandas as pd | |
import geopandas as gpd |
#! /usr/bin/env python | |
from pathlib import Path | |
import csv | |
import json | |
from shapely.geometry import Point, shape | |
from shapely.prepared import prep | |
from egon.data import subprocess |