along/secondo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
secondo/Algebras/Spatial/Spatial.examples

1241 lines
36 KiB
Plaintext
Raw Permalink Normal View History

firs commit
2026-01-23 17:03:45 +08:00
Database : berlintest
Restore : NO
Operator : #
Number : 1
Signature: (point point) -> bool, (points points) -> bool, (line line) -> bool, (region region) -> bool
Example : query mehringdamm # alexanderplatz
Result : TRUE
Operator : +
Number : 1
Signature: point x point -> point
Example : query [const point value (0.0 -1.2)] + [const point value (-5.0 1.2)]
Result : (point (-5.0 0.0))
Operator : =
Number : 1
Signature: (point point) -> bool, (points points) -> bool, (line line) -> bool, (region region) -> bool
Example : query tiergarten = zoogarten
Result : FALSE
Operator : <
Number : 1
Signature: point x point -> bool
Example : query [const point value (0.0 2.5)] < [const point value (1.0 2.5)]
Result : TRUE
Operator : <
Number : 2
Signature: point x point -> bool
Example : query [const point value (1.0 2.5)] < [const point value (0.0 2.5)]
Result : FALSE
Operator : adjacent
Number : 1
Signature: (points||line||region x points||line||region) -> bool
Example : query WFlaechen feed filter[.GeoData adjacent grunewald] consume
Result : file
Operator : area
Number : 1
Signature: region -> real
Example : query area([const rect value (-1000.0 -900.0 100000.0 100010.0)] rect2region)
Result : 1000.0
Operator : atpoint
Number : 1
Signature: sline x point x bool -> real
Example : query atpoint(fromline(trajectory(train7)), mehringdamm, TRUE)
Result : 18380.673536405186
Operator : atpoint
Number : 2
Signature: sline x point -> real
Example : query atpoint(fromline(trajectory(train7)), mehringdamm)
Result : 18380.673536405186
Operator : atposition
Number : 1
Signature: sline x real x bool -> point
Example : query atposition(fromline(trajectory(train7)), 18380.673536405186, TRUE) = mehringdamm
Result : TRUE
Operator : atposition
Number : 2
Signature: sline x real x bool -> point
Example : query atposition(fromline(trajectory(train7)), 18380.673536405186, FALSE) = mehringdamm
Result : FALSE
Operator : atposition
Number : 3
Signature: sline x real x bool -> point
Example : query WFlaechen feed filter[.Name = "Spree"] UBahn feed {u} symmjoin[.GeoData intersects_new ..GeoData_u] extend[Schnitt: intersection1(.GeoData, .GeoData_u)] project[Schnitt] extend[Start: atposition(fromline(.Schnitt), 0.0, TRUE)] consume
Result : file
Operator : atposition
Number : 4
Signature: sline x real -> point
Example : query atposition(fromline(trajectory(train7)), 18380.673536405186) = mehringdamm
Result : TRUE
Operator : bbox
Number : 1
Signature: (point||points||line||region) [x geoid] -> rect
Example : query bbox(tiergarten)
Result : (rect (5659.99999999 8571.00000001 11434.99999999 12795.00000001))
Operator : bbox
Number : 2
Signature: (point||points||line||region) [x geoid] -> rect
Example : query bbox(makeline(makepoint(7.563333333333333,51.29166666666666),makepoint(-74.0,40.71666666666667)),create_geoid("WGS1984"))
Result : (rect (-74.00000001999999 7.5633334846 40.71666664666667 54.87868544808553))
Operator : bbox
Number : 3
Signature: (point||points||line||region) [x geoid] -> rect
Example : query bbox(makeline(makepoint(-43.2,-22.9),makepoint(151.2,-33.85)),create_geoid("WGS1984"))
Result : (rect (-43.20000002 151.20000002 -77.05451120443344 -22.89999998))
Operator : bbox
Number : 4
Signature: (point||points||line||region) [x geoid] -> rect
Example : query bbox(makeline(makepoint(7.563333333333333,51.29166666666666),makepoint(-43.2,-22.9)),create_geoid("WGS1984"))
Result : (rect (-43.20000002 7.5633334846 -22.90000002 51.29166668666666))
Operator : boundary
Number : 1
Signature: line -> points
Example : query boundary(train7sections)
Result : file
Operator : boundary
Number : 2
Signature: region -> line
Example : query no_components(boundary(koepenick))
Result : (int 7)
Operator : commonborder
Number : 1
Signature: (region x region) -> line
Example : query WFlaechen feed filter[.GeoData adjacent grunewald] extend[Common: commonborder(.GeoData, grunewald)] project[Common] consume
Result : file
Operator : commonborder
Number : 2
Signature: (region x region) -> line
Example : query commonborder(tiergarten, tiergarten)
Result : file
Operator : components
Number : 1
Signature: points -> stream(points), region -> stream(region)
Example : query components(koepenick) count
Result : 7
Operator : components
Number : 2
Signature: points -> stream(points), region -> stream(region)
Example : query components(tiergarten) count
Result : 1
Operator : components
Number : 3
Signature: line -> stream(line)
Example : query components(BGrenzenLine) count
Result : 1
Operator : crossings1
Number : 1
Signature: (line x line) -> points
Example : query strassen feed {s1} strassen feed {s2} spatialjoin[geoData_s1, geoData_s2] filter[.Name_s1 < .Name_s2] filter[.geoData_s1 intersects1 .geoData_s2] projectextendstream[Name_s1, Name_s2; Cross: components(crossings1(.geoData_s1, .geoData_s2))] project[Cross] consume
Result : bug
Remark : some points are in the result which are not crossings of streets
Operator : direction
Number : 1
Signature: (point x point [x geoid]) -> real
Example : query direction(mehringdamm, alexanderplatz)
Result : 61.061353020685345
Operator : direction
Number : 2
Signature: (point x point [x geoid]) -> real
Example : query direction(makepoint(7.56333,51.2917),makepoint(-74,40.7167),create_geoid("WGS1984"))
Result : 156.8391714352
Operator : distance
Number : 1
Signature: (point||points||line x point||points||line) -> real
Example : query distance(mehringdamm, alexanderplatz)
Result : 3455.4536605198455
Operator : distanceSmallerThan
Number : 2
Signature: line x line x real x bool -> bool
Example : query distanceSmallerThan(BGrenzenLine, BGrenzenLine, 3.0, FALSE)
Result : TRUE
Operator : get
Number : 1
Signature: points x int -> point
Example : query get([const points value ((0.0 -1.2)(1.0 2.0))],1)
Result : (point (1.0 2.0))
Operator : getx
Number : 1
Signature: point -> real
Example : query getx([const point value (0.0 -1.2)])
Result : (real 0.0)
Operator : gety
Number : 1
Signature: point -> real
Example : query gety([const point value (0.0 -1.2)])
Result : (real -1.2)
Operator : ininterior
Number : 1
Signature: (point x region) -> bool
Example : query mehringdamm ininterior thecenter
Result : TRUE
Operator : inside
Number : 1
Signature: (point||points||line||region x points||line||simpleline||region) -> bool
Example : query mehringdamm inside thecenter
Result : TRUE
Operator : intersection1
Number : 1
Signature: point x point
Example : query intersection1([const point value( 1 3)], [const point value (1 3)])
Result : (points ((1.0 3.0)))
Operator : intersection1
Number : 2
Signature: point x point
Example : query intersection1([const point value( 1 3)], [const point value (1 5)])
Result : (points ())
Operator : intersection1
Number : 3
Signature: point x points
Example : query intersection1([const point value( 1 3)], [const points value ((1 5)(1 3))])
Result : (points ((1.0 3.0)))
Operator : intersection1
Number : 4
Signature: point x line
Example : query intersection1(alexanderplatz, BGrenzenLine)
Result : (points ())
Operator : intersection1
Number : 5
Signature: point x region
Example : query intersection1(alexanderplatz, thecenter)
Result : (points ((11068.0 12895.0)))
Operator : intersection1
Number : 6
Signature: points x point
Example : query intersection1(train7stations, alexanderplatz)
Result : (points ())
Operator : intersection1
Number : 7
Signature: points x points
Example : query intersection1(train7stations,train7stations)=train7stations
Result : TRUE
Operator : intersection1
Number : 8
Signature: points x line
Example : query intersection1(vertices(BGrenzenLine), BGrenzenLine)=vertices(BGrenzenLine)
Result : TRUE
Operator : intersection1
Number : 9
Signature: points x region
Example : query intersection1(train7stations, thecenter)
Result : (points ( (5505.0 8963.0) (6126.0 9130.0) (6805.0 9248.0) (7451.0 9347.0) (8238.0 9660.0) (8988.0 10323.0) (9396.0 9871.0) (9883.0 9494.0) (10684.0 9295.0) (11837.0 8980.0) (12518.0 8482.0) (12871.0 7943.0) (13049.0 7140.0)))
Operator : intersection1
Number : 10
Signature: line x point
Example : query intersection1(train7sections, mehringdamm)
Result : (points ((9396.0 9871.0)))
Operator : intersection1
Number : 11
Signature: line x points
Example : query intersection1(train7sections, train7stations)
Result : (points ( (-3560.0 14235.0) (-3019.0 14499.0) (-2320.0 14423.0) (-1288.0 14532.0) (3643.0 13248.0) (3683.0 11621.0) (3770.0 12208.0) (3809.0 11037.0) (3853.0 10396.0) (8238.0 9660.0) (8988.0 10323.0) (9396.0 9871.0) (9883.0 9494.0) (13582.0 3543.0) (13592.0 5253.0) (13643.0 4410.0) (13933.0 2673.0) (14600.0 2157.0) (16821.0 1252.0)))
Operator : intersection1
Number : 12
Signature: line x line
Example : query intersection1(train7sections, train7sections) = train7sections
Result : TRUE
Operator : intersection1
Number : 13
Signature: line x region
Example : query no_components(intersection1(train7sections, thecenter))
Result : 1
Operator : intersection1
Number : 14
Signature: region x point
Example : query intersection1(thecenter, mehringdamm)
Result : (points ((9396.0 9871.0)))
Operator : intersection1
Number : 15
Signature: region x points
Example : query intersection1(thecenter, train7stations) = intersection1(train7stations, thecenter)
Result : TRUE
Operator : intersection1
Number : 16
Signature: region x line
Example : query intersection1(thecenter, boundary(thecenter)) = boundary(thecenter)
Result : TRUE
Operator : intersection1
Number : 17
Signature: region x region
Example : query intersection1(thecenter, thecenter)= thecenter
Result : TRUE
Operator : intersects1
Number : 1
Signature: (points||line||region x points||line||region) -> bool
Example : query trajectory(train7) intersects1 thecenter
Result : TRUE
Operator : isempty
Number : 1
Signature: point -> bool, points -> bool, line -> bool,region -> bool
Example : query isempty(mehringdamm)
Result : FALSE
Operator : line2region
Number : 1
Signature: line -> region
Example : query commonborder(tiergarten, tiergarten) line2region = tiergarten
Result : TRUE
Operator : minus1
Number : 1
Signature : point x point -> points
Example : query [const point value( 1 3) ] minus1 [const point value ( 1 3)]
Result : (points ())
Operator : minus1
Number : 2
Signature : point x point -> points
Example : query [const point value( 2 4) ] minus1 [const point value ( 1 3)]
Result : (points ((2.0 4.0)))
Operator : minus1
Number : 3
Signature : point x points -> points
Example : query [const point value(2 4)] minus1 [const points value ((1 3) (2 4))]
Result : (points ())
Operator : minus1
Number : 4
Signature : point x line -> points
Example : query [const point value ( 3 3 )] minus1 [const line value ((0 0 10 10))]
Result : (points ())
Operator : minus1
Number : 5
Signature : points x region -> point
Example : query mehringdamm minus1 thecenter
Result : (points ())
Operator : minus1
Number : 6
Signature : points x point -> points
Example : query [const points value ((1 3)( 4 5 )( 6 7))] minus1 [const point value (4 5)]
Result : (points ((1.0 3.0)(6.0 7.0)))
Operator : minus1
Number : 7
Signature : points x points -> points
Example : query [const points value((1 3)(4 5)(6 7))] minus1 [const points value ((1 3)(6 7))]
Result : (points ((4.0 5.0)))
Operator : minus1
Number : 8
Signature : points x line -> points
Example : query train7stations minus1 trajectory(train7)
Result : (points ())
Operator : minus1
Number : 9
Signature : points x region -> points
Example : query train7stations minus1 thecenter
Result : (points ( (-3560.0 14235.0) (-3019.0 14499.0) (-2320.0 14423.0) (-1288.0 14532.0) (-267.0 14501.0) (863.0 14383.0) (1429.0 14388.0) (2354.0 14384.0) (2823.0 14355.0) (3353.0 13710.0) (3643.0 13248.0) (3683.0 11621.0) (3770.0 12208.0) (3809.0 11037.0) (3853.0 10396.0) (4072.0 9636.0) (4381.0 9276.0) (4911.0 8866.0) (13262.0 6390.0) (13582.0 3543.0) (13592.0 5253.0) (13643.0 4410.0) (13933.0 2673.0) (14600.0 2157.0) (15373.0 2039.0) (16013.0 2050.0) (16821.0 1252.0)))
Operator : minus1
Number : 10
Signature : line x point -> line
Example : query (train7sections minus1 mehringdamm) = train7sections
Result : TRUE
Operator : minus1
Number : 11
Signature : line x points -> line
Example : query (train7sections minus1 train7stations) = train7sections
Result : TRUE
Operator : minus1
Number : 12
Signature : line x line -> line
Example : query train7sections minus1 train7sections
Result : (line ())
Operator : minus1
Number : 13
Signature : line x region -> line
Example : query [const line value ((3000 5000 18000 18000))] minus1 thecenter
Result : (line ( (3000.0 5000.0 6141.316589425605 7722.474377502192) (13987.266280866977 14522.297443418047 18000.0 18000.0)))
Operator : minus1
Number : 14
Signature : region x point -> region
Example : query (thecenter minus1 mehringdamm) = thecenter
Result : TRUE
Operator : minus1
Number : 15
Signature : region x points -> region
Example : query (thecenter minus1 train7stations) = thecenter
Result : TRUE
Operator : minus1
Number : 16
Signature : region x line -> region
Example : query (thecenter minus1 train7sections) = thecenter
Result : TRUE
Operator : minus1
Number : 17
Signature : region x region -> region
Example : query thecenter minus1 thecenter
Result : (region ())
Operator : union1
Number : 1
Signature : point x point -> points
Example : query [const point value( 1 3)] union1 [const point value ( 6 7)]
Result : (points ((1.0 3.0)(6.0 7.0)))
Operator : union1
Number : 2
Signature : point x points -> points
Example : query [const point value( 1 3)] union1 [const points value (( 6 7))]
Result : (points ((1.0 3.0)(6.0 7.0)))
Operator : union1
Number : 3
Signature : point x line -> line
Example : query (mehringdamm union1 train7sections) = train7sections
Result : TRUE
Operator : union1
Number : 4
Signature : point x region -> regions
Example : query (mehringdamm union1 thecenter) = thecenter
Result : TRUE
Operator : union1
Number : 5
Signature : points x point -> points
Example : query [const points value(( 1 3))] union1 [const point value (6 7)]
Result : (points ((1.0 3.0)(6.0 7.0)))
Operator : union1
Number : 6
Signature : points x points -> points
Example : query [const points value(( 1 3))] union1 [const points value (( 6 7))]
Result : (points ((1.0 3.0)(6.0 7.0)))
Operator : union1
Number : 7
Signature : points x line -> line
Example : query (train7stations union1 train7sections) = train7sections
Result : TRUE
Operator : union1
Number : 8
Signature : points x region -> region
Example : query (train7stations union1 thecenter) = thecenter
Result : TRUE
Operator : union1
Number : 9
Signature : line x point -> line
Example : query (train7sections union1 mehringdamm) = train7sections
Result : TRUE
Operator : union1
Number : 10
Signature : line x points -> line
Example : query (train7sections union1 train7stations) = train7sections
Result : TRUE
Operator : union1
Number : 11
Signature : line x line -> line
Example : query (BGrenzenLine union1 train7sections) = (train7sections union1 BGrenzenLine)
Result : TRUE
Operator : union1
Number : 12
Signature : line x region -> region
Example : query (train7sections union1 thecenter) = thecenter
Result : TRUE
Operator : union1
Number : 13
Signature : region x point -> region
Example : query (thecenter union1 mehringdamm) = thecenter
Result : TRUE
Operator : union1
Number : 14
Signature : regions x points -> region
Example : query (thecenter union1 train7stations) = thecenter
Result : TRUE
Operator : union1
Number : 15
Signature : region x line -> region
Example : query (thecenter union1 train7sections) = thecenter
Result : TRUE
Operator : union1
Number : 16
Signature : region x region -> region
Example : query (thecenter union1 tiergarten) = thecenter
Result : TRUE
Operator : no_components
Number : 1
Signature: (points||line||region) -> int
Example : query no_components(vertices(trajectory(train7)))
Result : 147
Operator : no_segments
Number : 1
Signature: (region) -> int
Example : query no_segments(tiergarten)
Result : 70
Operator : onborder
Number : 1
Signature: (point x line||region) -> bool
Example : query WFlaechen feed UBahn feed {u} symmjoin[.GeoData intersects1 ..GeoData_u] extend[Stretch: intersection1(.GeoData, .GeoData_u)] project[GeoData, Stretch] extend[Start: atposition(fromline(.Stretch), 0.0, TRUE), Middle: atposition(fromline(.Stretch), size(.Stretch)/2, TRUE)] extend[Onborder: .Start onborder .GeoData, NotOnBorder: .Middle onborder .GeoData] consume
Result : file
Operator : overlaps
Number : 1
Signature: (region x region) -> bool
Example : query koepenick overlaps thecenter
Result : FALSE
Operator : rect2region
Number : 1
Signature: rect -> region
Example : query [const rect value (-100.0 200.0 -50.0 500.0)] rect2region
Result : (region ( ( ( (200.0 -50.0) (-100.0 -50.0) (-100.0 500.0) (200.0 500.0)))))
Operator : scale
Number : 1
Signature: for T in {point, points, line, region}: T x real -> T
Example : query tiergarten scale[10.0]
Result : file
Operator : scale
Number : 2
Signature: for T in {point, points, line, region}: T x real x real -> T
Example : query tiergarten scale[1.0, 3.0] = tiergarten scale[1.0]
Result : FALSE
Operator : single
Number : 1
Signature: (points) -> point
Example : query single(vertices(thecenter))
Result : (point undefined)
Operator : size
Number : 1
Signature: (line) -> real
Example : query size(trajectory(train7))
Result : 31662.126023561887
Operator : subline
Number : 1
Signature: sline x real x real x bool -> line
Example : query fromline(trajectory(train7)) within [fun(traj:ANY) subline(traj, 0.5 * size(traj), 0.6 * size(traj), TRUE)]
Result : file
Operator : touchpoints
Number : 1
Signature: (line||region x region) -> points
Example : query touchpoints(tiergarten, tiergarten)
Result : file
Operator : touchpoints
Number : 2
Signature: (line||region x region) -> points
Example : query WFlaechen feed {w} Flaechen feed {f} symmjoin[.GeoData_w adjacent ..GeoData_f] extend[Touch: touchpoints(.GeoData_w, .GeoData_f)] consume
Result : file_platform
Remark : On linux 64 bit and Mac 64 bit this query produces an object with a different list structure
Operator : translate
Number : 1
Signature: (point||points||line||region x real x real) -> point||points||line||region
Example : query trajectory(train7) translate[100.0, 0.0]
Result : file
Operator : rotate
Number : 1
Signature: (point||points||line||region x real x real x real) -> point||points||line||region
Example : query [const point value (0.0 10.0)] rotate [0.0, 0.0, 360.0]
Result : (point (0.0 10.0))
Tolerance: 0.1
Operator : vertices
Number : 1
Signature: (region -> points) or (line -> points)
Example : query vertices(thecenter)
Result : file
Operator : windowclippingin
Number : 1
Signature: (line x rect) -> line, (region x rect) --> region
Example : query Flaechen feed extend[InWindow: windowclippingin(.geoData, bbox(thecenter))] project[InWindow] filter[not(isempty(.InWindow))] consume
Result : crashes
Operator : windowclippingin
Number : 2
Signature: (line x rect) -> line, (region x rect) --> region
Example : query windowclippingin(trajectory(train7), bbox(thecenter))
Result : crashes
Operator : windowclippingout
Number : 1
Signature: (line x rect) -> line, (region x rect) --> region
Example : query windowclippingout(trajectory(train7), bbox(thecenter))
Result : file
Operator : longlines
Number : 1
Signature: line -> stream (sline)
Example : query trajectory(train7) longlines transformstream consume;
Result : file
Operator : polylines
Number : 1
Signature: line -> stream (line)
Example : query BGrenzenLine polylines [FALSE] count
Result : (int 2)
Operator : polylinesC
Number : 1
Signature: line -> stream (line)
Example : query BGrenzenLine polylinesC [FALSE] count
Result : (int 1)
Operator : simplify
Number : 1
Signature: line x real -> line
Example : query no_segments(simplify(BGrenzenLine,2000.0))
Result : (int 24)
Operator : simplify
Number : 2
Signature: line x real x points -> line
Example : query no_segments(simplify(BGrenzenLine,2000.0, vertices(BGrenzenLine) )) = no_segments(BGrenzenLine)
Result : (bool TRUE)
Operator : segments
Number : 1
Signature: line -> stream (line)
Example : query (segments(BGrenzenLine) count) = no_segments(BGrenzenLine)
Result : (bool TRUE)
Operator : makeline
Number : 1
Signature: point x point -> line
Example : query makeline([const point value ( 0 0 )] , [const point value ( 100 100)])
Result : (line ( (0.0 0.0 100.0 100.0)))
Operator : realminize
Number : 1
Signature: line -> line
Example : query trajectory(train1) = realminize(trajectory(train1))
Result : TRUE
Remark : just a correction of the internal line representation
Operator : center
Number : 1
Signature: points -> point
Example : query center( [const points value ((0 0)(10 10))])
Result : (point (5.0 5.0))
Operator : center
Number : 2
Signature: rect -> point
Example : query center([const rect value (0.0 1.0 2.0 3.0)])
Result : (point (0.5 2.5))
Operator : convexhull
Number : 1
Signature: points -> region
Example : query convexhull([const points value ((0 0) (10 0) (10 10) (5 3) )])
Result : (region ( ( ( (10.0 0.0) (0.0 0.0) (10.0 10.0)))))
Operator : commonborder2
Number : 1
Signature : region x region -> line
Example : query (thecenter commonborder2 thecenter) = boundary(thecenter)
Result : (bool TRUE)
Operator : fromline
Number : 1
Signature : line -> sline
Example : query abs(size(BGrenzenLine) - size(fromline(BGrenzenLine))) < 0.0001
Result : (bool TRUE)
Operator : fromline
Number : 2
Signature : line x bool -> sline
Example : query abs(size(BGrenzenLine) - size(fromline(BGrenzenLine, FALSE))) < 0.0001
Result : (bool TRUE)
Operator : fromline
Number : 3
Signature : line x bool -> sline
Example : query abs(size(BGrenzenLine) - size(fromline(BGrenzenLine, TRUE))) < 0.0001
Result : (bool TRUE)
Operator : toline
Number : 1
Signature : sline -> line
Example : query (BGrenzenLine) = toline(fromline(BGrenzenLine))
Result : (bool TRUE)
Operator : iscycle
Number : 1
Signature : sline -> bool
Example : query iscycle(fromline(BGrenzenLine))
Result : (bool TRUE)
Operator : iscycle
Number : 2
Signature : sline -> bool
Example : query iscycle(fromline(trajectory(train7)))
Result : (bool FALSE)
Operator : gk
Number : 1
Signature : point -> point | points -> points | line -> line | region -> region | sline -> sline
Example : query gk([const point value (1.0 1.0)])
Result : (point (1942837.210480324 110590.6736442424))
Tolerance : 150.0
Operator : reverseGk
Number : 1
Signature : point -> point | points -> points | line -> line | region -> region
Example : query reverseGk(gk([const point value (7.0 51.0)]))
Result : (point (7.0 51.0))
Tolerance : 0.00002
Operator : utm
Number : 1
Signature : point -> point | line -> line | region -> region
Example : query utm([const point value (1.0 1.0)])
Result : (point (166491.8309263389 -5907493.628309446))
Tolerance : 50.0
Operator : collect_line
Number : 1
Signature : (stream point) x bool -> line
Example : query no_segments(Kinos feed projecttransformstream[GeoData] collect_line[TRUE])
Result : (int 1119)
Operator : collect_line
Number : 2
Signature : (stream line) x bool -> line
Example : query size(strassen feed projecttransformstream[GeoData] collect_line[TRUE])
Result : (real 2686760.928958891)
Tolerance : 0.5
Operator : collect_line
Number : 3
Signature : (stream sline) x bool -> line
Example : query size(strassen feed projectextend[;G: fromline(.GeoData)] filter[isdefined(.G)] transformstream collect_line[TRUE])
Result : (real 2678603.846277799)
Tolerance : 0.5
Operator : makesline
Number : 3
Signature : point x point -> sline
Example : query makesline(makepoint(0,0),makepoint(100.0,-100.0))
Result : (sline (((0.0 0.0 100.0 -100.0)) TRUE))
Tolerance : %0.001
Operator : collect_sline
Number : 1
Signature : (stream point) x bool -> line
Example : query no_segments(Kinos feed sortby[GeoData] projecttransformstream[GeoData] collect_sline[TRUE])
Result : (int 81)
Operator : collect_sline
Number : 2
Signature : (stream line) x bool -> line
Example : query size(strassen feed sortby[GeoData] projecttransformstream[GeoData] collect_sline[TRUE])
Result : (real undefined)
Operator : collect_sline
Number : 3
Signature : (stream sline) x bool -> line
Example : query size(strassen feed sortby[GeoData] projectextend[;G: fromline(.GeoData)] filter[isdefined(.G)] transformstream collect_sline[TRUE])
Result : (real undefined)
Operator : makepoint
Number : 1
Signature: {int|real} x {int|real} -> point
Example : query makepoint (5,5)
Result : (point (5.0 5.0))
Operator : makepoint
Number : 2
Signature: {int|real} x {int|real} -> point
Example : query makepoint (5,5.0)
Result : (point (5.0 5.0))
Operator : makepoint
Number : 3
Signature: {int|real} x {int|real} -> point
Example : query makepoint (5.0,5)
Result : (point (5.0 5.0))
Operator : makepoint
Number : 4
Signature: {int|real} x {int|real} -> point
Example : query makepoint (5.0,5.0)
Result : (point (5.0 5.0))
Operator : collect_points
Number : 1
Signature: stream(point) x bool -> points
Example : query components(Kneipen feed projecttransformstream[GeoData] collect_points[TRUE]) count <= Kneipen count
Result : TRUE
Operator : halfSegments
Number : 1
Signature: region -> stream(tuple( ... ))
Example : query halfSegments(zoogarten) count
Result : 56
Operator : get_startsmaller
Number : 1
Signature: sline -> bool
Example : query get_startsmaller(set_startsmaller(fromline(BGrenzenLine),FALSE))
Result : FALSE
Operator : set_startsmaller
Number : 1
Signature: sline x bool -> sline
Example : query get_startsmaller(set_startsmaller(fromline(BGrenzenLine),FALSE))
Result : FALSE
Operator : getstartpoint
Number : 1
Signature: sline -> point
Example : query getstartpoint(fromline(BGrenzenLine));
Result : (point(-10849.0 1142.0))
Tolerance: 0.01%
Operator : getendpoint
Number : 1
Signature: sline -> point
Example : query getstartpoint(fromline(BGrenzenLine));
Result : (point(-10849.0 1142.0))
Tolerance: 0.01%
Operator : create_sline
Number : 1
Signature: point x point -> sline
Example : query atposition(create_sline(makepoint(10,10),makepoint(0,0)),0.0,TRUE) = makepoint(0,0)
Result : TRUE
Operator : create_sline
Number : 2
Signature: point x point -> sline
Example : query atposition(create_sline(makepoint(10,10),makepoint(0,0)),0.0,FALSE) = makepoint(10,10)
Result : TRUE
Operator : distanceOrthodrome
Number : 1
Signature: point x point [x string] -> real
Example : query distanceOrthodrome(makepoint(13.4,52.517),makepoint(139.767, 35.7 ),create_geoid("WGS1984"))/1000.0
Result : (real 8941.201228)
Tolerance: 0.2
Operator : heading
Number : 1
Signature : point x point -> real
Example : query heading(makepoint(0,0), makepoint(20,0));
Result : 90.0
Operator : heading
Number : 2
Signature : (point x point [x geoid]) -> real
Example : query heading(makepoint(7.56333,51.2917),makepoint(-74,40.7167),create_geoid("WGS1984"))
Result : 293.1608285648
Operator : point2string
Number : 1
Signature : point [x geoid] -> string
Example : query point2string(makepoint(7.494968217,51.376125146), create_geoid("WGS1984"))
Result : "(51°22'34.05052560\"N, 7°29'41.88558120\"E)"
Operator : midpointBetween
Number : 1
Signature : point x point [x geoid] [x real] -> point
Example : query midpointBetween(makepoint(7.494968217,51.376125146), makepoint(0.0,0.0), create_geoid("WGS1984"), 0.75)
Result : (point (1.382368149083 13.03345148903))
Tolerance : 0.0000001
Operator : direction2heading
Number : 1
Signature : real -> real
Example : query direction2heading(45.5)
Result : 44.5
Operator : heading2direction
Number : 1
Signature : real -> real
Example : query heading2direction(275.0)
Result : 175.0
Operator : create_triangle
Number : 1
Signature : point x point x point -> region
Example : query create_triangle(makepoint(0,0),makepoint(10,10),makepoint(10,-10))
Result : (region ((( (10.0 -10.0) (0.0 0.0) (10.0 10.0)))))
Operator : circle
Number : 1
Signature: (point real int) -> region
Example : query circle (mehringdamm,10.0,5)
Result : (region((((9399.090169943749 9861.489434837049)(9387.909830056251 9865.122147477075)(9387.909830056251 9876.877852522925)(9399.090169943749 9880.510565162951)(9406.0 9871.0)))))
Tolerance: 0.0001
Operator : splitslineatpoints
Number : 1
Signature: sline x points -> (stream sline)
Example : query splitslineatpoints(create_sline(makepoint(10.0,10.0), makepoint(0.0,0.0)), [const points value((5.5 5.5))]) count;
Result : 2
Tolerance: 0.01%
Operator : findCycles
Number : 1
Signature : line -> stream(line)
Example : query findCycles(BGrenzenLine) count
Result : 1
Operator : findCycles
Number : 2
Signature : line x bool-> stream(line)
Example : query findCycles([const line value ((0 0 100 0)(100 0 100 100)(100 100 0 100)(0 100 0 0)(20 20 80 20)(80 20 80 80)(80 80 20 80)(20 80 20 20)(20 20 80 80))]) namedtransformstream[L] tconsume
Result : ((trel (tuple ((L line)))) ((((0.0 0.0 100.0 0.0) (0.0 0.0 0.0 100.0) (0.0 100.0 100.0 100.0) (100.0 0.0 100.0 100.0))) (((20.0 20.0 80.0 80.0) (20.0 20.0 20.0 80.0) (20.0 80.0 80.0 80.0))) (((20.0 20.0 80.0 20.0) (20.0 20.0 80.0 80.0) (80.0 20.0 80.0 80.0)))))
Remark : The boolean argument enables hole detection
Operator : markUsage
Number : 1
Signature : line -> stream(tzuple((l line)(U int)))
Example : query markUsage(BGrenzenLine) krdup[Usage] count
Result : 1
Operator : criticalPoints
Number : 1
Signature : line -> points
Example : query criticalPoints(BGrenzenLine)
Result : (points ())
Operator : testRegionCreator
Number : 1
Signature : line -> region
Example : query boundary(testRegionCreator(BGrenzenLine)) = BGrenzenLine
Result : TRUE
Operator : collect_box
Number : 1
Signature : stream<SPATIALnD> x bool -> rectangle, where n in {1, 2, 3, 4, 8}
Example : query (strassen feed projecttransformstream[GeoData] collect_box[TRUE]) = strassen feed extend[B : bbox(.GeoData)] aggregateB[B; fun(r1 : rect,r2: rect) r1 union r2; [const rect value undef] ]
Result : TRUE
Operator : intersection_rob
Number : 1
Signature: region x line -> line
Example : query intersection1(thecenter, boundary(thecenter)) = intersection_rob(thecenter, boundary(thecenter))
Result : TRUE
Operator : intersection_rob
Number : 2
Signature : line x line -> line
Example : query intersection_rob(BGrenzenLine, BGrenzenLine) = BGrenzenLine
Result : TRUE
Operator : contains_rob
Number : 1
Signature: region x point [x bool] -> bool
Example : query contains_rob(thecenter,mehringdamm)
Result : TRUE
Operator : getHoles
Number : 1
Signature : region -> region
Example : query getHoles((BGrenzenLine line2region ) minus1 thecenter) = thecenter
Result : TRUE
Operator : collect_line2
Number : 1
Signature : stream(line) -> line
Example : query size((strassen feed projecttransformstream[GeoData] collect_line[TRUE]) minus1 (strassen feed projecttransformstream[GeoData] collect_line2) ) < 1.0
Result : TRUE
Operator: getInnerPoint
Number : 1
Signature : region -> point
Example : query (WFlaechen feed extend[IP : getInnerPoint(.GeoData)] filter[ .IP ininterior .GeoData] count) = (WFlaechen count)
Result : TRUE
Operator: checkRealm
Number : 1
Signature: {line,reagion} -> bool
Example : query (strassen feed filter[ checkRealm(.GeoData)] count) = strassen count
Result : TRUE
Operator: badRealm
Number : 1
Signature: {line,reagion} -> stream(tuple( (No1 int)(Partner1 int)(Segment1 line)(No2 int)(Partner2 int)(Segment2 line)))
Example : query badRealm(BGrenzenLine) count
Result : 0
Operator : crossings_rob
Number : 1
Signature: line x line -> points
Example : query crossings_rob(BGrenzenLine,BGrenzenLine);
Result : (points ())
Operator : splitline
Number : 1
Signature : line x real [x geoid] -> stream(line)
Example : query ( splitline(BGrenzenLine,25.0) count) = ((real2int(size(BGrenzenLine)) div 25) + 1)
Result : TRUE
Operator : computeDRM
Number : 1
Signature : SPATIAL2D x SPATIAL2D -> drm
Example : query computeDRM(mehringdamm,BGrenzenLine)
Result : (drm 16)
Operator : computeOIM
Number : 1
Signature : SPATIAL2D x SPATIAL2D -> drm
Example : query computeOIM(thecenter, mehringdamm)
Result : (oim (3 3 (1 1 1 1 3 1 1 1 1)))
Operator : collectDline
Number : 1
Signature : stream(X) x bool -> dline , X in {point,line,dline)
Example : query no_segments(BGrenzenLine) = no_segments( BGrenzenLine feed collectDline[TRUE])
Result : TRUE
Operator : computeLabel
Number : 1
Signature : line x string -> spatiallabel
Example : query computeLabel( [const line value ((0 0 3 3))], "aline")
Result : (spatiallabel ('aline' 1.0 1.0 -45.0))
Tolerance : 0.5
Operator : centroidDisc
Number : 1
Signature : points [x geoid] -> disc
Example : query centroidDisc(train7stations)
Result : (disc (7166.5 9433.525 12654.90899120278))
Tolerance : 0.5
Operator : calcDisc
Number : 1
Signature : points [x geoid] -> disc
Example : query calcDisc(train7stations)
Result : (disc (6630.5 7743.5 12082.46094551933))
Tolerance : 0.5
Operator : createDisc
Number : 1
Signature : point [x point[ x point]] -> disc
Example : query createDisc([const point value(8 9)])
Result : (disc (8.0 9.0 0.0))
Tolerance : 0.1
Operator : berlin2wgs
Number : 1
Signature : T -> T, where T in {point, points, line, region, rect}
Example : query berlin2wgs([const point value (13132 10876)])
Result : (point (13.443927 52.503153))
Tolerance : 0.01
Operator : elements
Number : 1
Signature : points -> stream(point)
Example : query (elements(train7stations) count) = ( components(train7stations) count)
Result : TRUE
Operator : twist
Number : 1
Signature : real x int x int -> dline
Example : query no_segments(twist(40.0,5,2))
Result : 5
Operator : contour2
Number : 1
Signature : dline x real -> region
Example : query area(boundary(thecenter) contour2[16, 2, TRUE]) > 0
Result : TRUE
Operator : twist2
Number : 1
Signature : dline x int x bool -> dline
Example : query no_segments(twist2([const dline value ((1 1 1 10)(1 1 10 1))], 2, FALSE))
Result : 2
Operator : twist3
Number : 1
Signature : dline x double -> dline
Example : query no_segments(twist3([const dline value ((1 1 1 10)(1 10 10 1)(10 1 1 1))],0.4))
Result : 56
Operator : toSVG
Number : 1
Signature : dline -> FText
Example : query toSVG([const dline value ((0 0 10 10))] ) contains "svg"
Result : TRUE
Operator : simpleProject
Number : 1
Signature : SPATIAL -> SPATIAL
Example : query simpleProject([const point value (0 0)])
Result : (point (0.0 0.0))
Operator : todline
Number : 1
Signature : {line, region} -> dline
Example : query [const line value ((0 0 1 1)(1 2 2 2))] todline
Result : (dline ( (0.0 0.0 1.0 1.0) (1.0 2.0 2.0 2.0)))
Operator : distanceWithin
Number : 1
Signature : SPATIAL x SPATIAL x {int, real} [x geoid] -> bool
Example : query distanceWithin(alexanderplatz, mehringdamm, 2000)
Result : FALSE
Operator : orderLine
Number : 1
Signature : sline -> stream(Start: point, End: point)
Example : query no_segments(fromline(boundary(westhafen))) = orderLine(fromline(boundary(westhafen))) count
Result : TRUE
Reference in New Issue Copy Permalink