Geometric_type + điểm→Geometric_type

Thêm tọa độ của lần thứ haiđiểmĐối với mỗi điểm của đối số đầu tiên, do đó thực hiện dịch. Có sẵn chođiểm,Box,đường dẫn,Circle.

hộp '(1,1), (0,0)' + điểm '(2,0)'→(3,1), (2,0)

đường dẫn + đường dẫn→đường dẫn

Concatenates Hai đường dẫn mở (trả về null nếu một trong hai đường dẫn được đóng).

đường dẫn '[(0,0), (1,1)]' + đường dẫn '[(2,2), (3,3), (4,4)]'→[(0,0), (1,1), (2,2), (3,3), (4,4)]

Geometric_type - điểm→Geometric_type

trừ tọa độ của lần thứ haiđiểmTừ mỗi điểm của đối số đầu tiên, do đó thực hiện dịch. Có sẵn chođiểm,Box,đường dẫn,Circle.

hộp '(1,1), (0,0)' - điểm '(2,0)'→(-1,1), (-2,0)

POMETRIC_TYPE * điểm→Geometric_type

Nhân từng điểm của đối số đầu tiên với phần thứ haiđiểm(coi một điểm là một số phức được đại diện bởi kèo bóng đá việt nam phần thực và tưởng tượng, và thực hiện phép nhân phức tạp tiêu chuẩn). Nếu một người diễn giải cái thứ haiđiểm15082_15286xTrục. Có sẵn chođiểm,Box,^[A] đường dẫn,Circle.

Path '((0,0), (1,0), (1,1))' * Point '(3.0,0)'→((0,0), (3,0), (3,3))

Path '((0,0), (1,0), (1,1))' * Point (cosd (45), sind (45))→((0,0), (0.7071067811865475,0.7071067811865475), (0,1.414213562373095))

Geometric_type / điểm→Geometric_type

Chia từng điểm của đối số thứ nhất cho lần thứ haiđiểm(coi một điểm là một số phức được đại diện bởi kèo bóng đá việt nam phần thực và tưởng tượng, và thực hiện phân chia phức tạp tiêu chuẩn). Nếu một người diễn giải cái thứ haiđiểmLà một vectơ, điều này tương đương với việc chia tỷ lệ kích thước và khoảng cách của đối tượng từ gốc xuống theo chiều dài của vectơ và xoay theo chiều kim đồng hồ xung quanh gốc theo góc của vectơ từXTrục. Có sẵn chođiểm,Box,^[A] đường dẫn,Circle.

Path '((0,0), (1,0), (1,1))' / point '(2.0,0)'→((0,0), (0,5,0), (0,5,0,5))

PATH '((0,0), (1,0), (1,1))' / point (cosd (45), sind (45))→((0,0), (0.7071067811865476, -0.7071067811865476), (1.4142135623730951,0))

@-@ Geometric_type→Double Precision

Tính tổng chiều dài. Có sẵn choLSEG,Path.

@-@ path '[(0,0), (1,0), (1,1)]'→2

@@ Geometric_type→điểm

Tính kèo bóng đá việt nam điểm trung tâm. Có sẵn choBox,LSEG,Polygon,Circle.

@@ box '(2,2), (0,0)'→(1,1)

# Geometric_type→Số nguyên

Trả về số lượng điểm. Có sẵn chođường dẫn,Polygon.

# path '((1,0), (0,1), (-1,0))'→3

Geometric_type # Geometric_type→điểm

Tính kèo bóng đá việt nam điểm giao nhau hoặc null nếu không có. Có sẵn choLSEG,Line.

lseg '[(0,0), (1,1)]' # lseg '[(1,0), (0,1)]'→(0,5,0,5)

Box # Box→Box

Tính kèo bóng đá việt nam giao điểm của hai hộp hoặc null nếu không có.

hộp '(2,2), (-1, -1)' # box '(1,1), (-2, -2)'→(1,1), (-1, -1)

Geometric_type ## Geometric_type→điểm

Tính điểm gần nhất với đối tượng đầu tiên trên đối tượng thứ hai. Có sẵn cho kèo bóng đá việt nam cặp loại này: (điểm,Box), (điểm,LSEG), (điểm,Line), (LSEG,Box), (LSEG,LSEG), (Line,LSEG).

điểm '(0,0)' ## lseg '[(2,0), (0,2)]'→(1,1)

Geometric_type <- Geometric_type→Double Precision

Tính khoảng cách giữa kèo bóng đá việt nam đối tượng. Có sẵn cho tất cả kèo bóng đá việt nam loại hình học ngoại trừPolygon, cho tất cả kèo bóng đá việt nam kết hợp củađiểmVới loại hình học khác và cho kèo bóng đá việt nam cặp loại bổ sung này: (Box,LSEG), (LSEG,Line), (Polygon,Circle) (và kèo bóng đá việt nam trường hợp cổ góp).

Circle '<(0,0), 1' <- Circle '<(5,0), 1'→3

Geometric_type @ Geometric_type→Boolean

Đối tượng đầu tiên có chứa thứ hai không? Có sẵn cho kèo bóng đá việt nam cặp loại này: (Box,điểm), (Box,Box), (đường dẫn,điểm), (Polygon,điểm), (Polygon,Polygon), (Circle,điểm), (Circle,Circle).

Circle '<(0,0), 2' @ Point '(1,1)'→T

địa hình_type <@ Geometric_type→Boolean

Đối tượng đầu tiên có chứa trong hoặc trên thứ hai không? Có sẵn cho kèo bóng đá việt nam cặp loại này: (điểm,Box), (điểm,LSEG), (điểm,Line), (điểm,Path), (điểm,Polygon), (điểm,Circle), (Box,Box), (LSEG,Box), (LSEG,Line), (Polygon,Polygon), (Circle,Circle).

điểm '(1,1)' <@ Circle '<(0,0), 2'→T

Geometric_type && Geometric_type→Boolean

Những đối tượng này có trùng nhau không? (Một điểm chung làm cho điều này đúng.) Có sẵn choBox,Polygon,Circle.

hộp '(1,1), (0,0)' && box '(2,2), (0,0)'→T

Geometric_type << Geometric_type→Boolean

Đối tượng đầu tiên có phải là bên trái của thứ hai không? Có sẵn chođiểm,Box,Polygon,Circle.

Circle '<(0,0), 1' << Circle '<(5,0), 1'→T

Geometric_type Geometric_type→Boolean

Đối tượng đầu tiên có phải là đúng của thứ hai không? Có sẵn chođiểm,Box,Polygon,Circle.

Circle '<(5,0), 1' vòng tròn '<(0,0), 1'→T

Geometric_type &< Geometric_type→Boolean

Đối tượng đầu tiên không mở rộng sang phải của thứ hai? Có sẵn choBox,Polygon,Circle.

box '(1,1), (0,0)' & <box '(2,2), (0,0)'→T

​​Geometric_type & Geometric_type→Boolean

Đối tượng đầu tiên không mở rộng sang bên trái của thứ hai? Có sẵn choBox,Polygon,Circle.

hộp '(3,3), (0,0)' & hộp '(2,2), (0,0)'→T

Geometric_type << | Geometric_type→Boolean

Đối tượng đầu tiên có phải là hoàn toàn dưới thứ hai không? Có sẵn choBox,Polygon,Circle.

hộp '(3,3), (0,0)' << | Hộp '(5,5), (3,4)'→T

Geometric_type | Geometric_type→Boolean

Đối tượng đầu tiên có phải là thứ hai không? Có sẵn choBox,Polygon,Circle.

hộp '(5,5), (3,4)' | hộp '(3,3), (0,0)'→T

Geometric_type & <| Geometric_type→Boolean

Đối tượng đầu tiên không mở rộng trên thứ hai? Có sẵn choBox,Polygon,Circle.

Box '(1,1), (0,0)' & <| hộp '(2,2), (0,0)'→T

Geometric_type | & Geometric_type→Boolean

Đối tượng đầu tiên không mở rộng dưới thứ hai? Có sẵn choBox,Polygon,Circle.

Box '(3,3), (0,0)' | & Box '(2,2), (0,0)'→T

Box <^ Box→Boolean

là đối tượng đầu tiên bên dưới thứ hai (cho phép kèo bóng đá việt nam cạnh chạm vào)?

hộp '((1,1), (0,0))' <^ box '((2,2), (1,1))'→T

điểm <^ điểm→Boolean

Đối tượng đầu tiên có phải là hoàn toàn dưới thứ hai không? (kèo bóng đá việt nam tử này bị đặt tên sai; nó phải là<< |.)

điểm '(1,0)' <^ point '(1,1)'→T

Box ^ Box→Boolean

là đối tượng đầu tiên trên thứ hai (cho phép kèo bóng đá việt nam cạnh chạm vào)?

hộp '((2,2), (1,1))'^ hộp '((1,1), (0,0))'→T

điểm ^ điểm→Boolean

Đối tượng đầu tiên có phải là thứ hai không? (kèo bóng đá việt nam tử này bị đặt tên sai; nó phải là| .)

điểm '(1,1)'^ điểm '(1,0)'→T

Geometric_type ?# Geometric_type→Boolean

Những đối tượng này có giao nhau không? Có sẵn cho kèo bóng đá việt nam cặp loại này: (Box,Box), (LSEG,Box), (LSEG,LSEG), (LSEG,Line), (Line,Box), (Line,Line), (đường dẫn,đường dẫn).

lseg '[(-1,0), (1,0)]'?# Hộp '(2,2), (-2, -2)'→T

?- Line→Boolean

?- LSEG→Boolean

là dòng ngang?

?- lseg '[(-1,0), (1,0)]'→T

điểm ?- điểm→Boolean

được căn chỉnh theo chiều ngang (nghĩa là có cùng tọa độ y)?

điểm '(1,0)'?- điểm '(0,0)'→T

? | Line→Boolean

? | LSEG→Boolean

là đường thẳng đứng?

? | lseg '[(-1,0), (1,0)]'→f

điểm ? | điểm→Boolean

được căn chỉnh theo chiều dọc (nghĩa là có cùng tọa độ x)?

điểm '(0,1)'? | điểm '(0,0)'→T

Line ?-| Line→Boolean

LSEG ?-| LSEG→Boolean

là kèo bóng đá việt nam dòng vuông góc?

lseg '[(0,0), (0,1)]'?-| lseg '[(0,0), (1,0)]'→T

Line ? || Line→Boolean

LSEG ? || LSEG→Boolean

là dòng song song?

lseg '[(-1,0), (1,0)]'? || lseg '[(-1,2), (1,2)]'→T

Geometric_type ~ = Geometric_type→Boolean

Những đối tượng này có giống nhau không? Có sẵn chopoint,Box,Polygon,Circle.

polygon '((0,0), (1,1))' ~ = polygon '((1,1), (0,0))'→T

khu vực(Geometric_type) →Double Precision

Tính kèo bóng đá việt nam khu vực. Có sẵn choBox,đường dẫn,Circle. MỘTđường dẫnĐầu vào phải được đóng lại, nếu không NULL được trả về. Ngoài ra, nếuđường dẫnlà tự giao nhau, kết quả có thể là vô nghĩa.

khu vực (hộp '(2,2), (0,0)')→4

trung tâm(Geometric_type) →điểm

Tính kèo bóng đá việt nam điểm trung tâm. Có sẵn choBox,Circle.

trung tâm (hộp '(1,2), (0,0)')→(0,5,1)

đường chéo(Box) →LSEG

trích xuất đường chéo của hộp dưới dạng phân đoạn dòng (giống nhưlseg (hộp)).

đường chéo (hộp '(1,2), (0,0)')→[(1,2), (0,0)]

đường kính(Circle) →Double Precision

Tính đường kính của vòng tròn.

đường kính (vòng tròn '<(0,0), 2')→4

chiều cao(Box) →độ chính xác gấp đôi

Tính kèo bóng đá việt nam kích thước dọc của hộp.

chiều cao (hộp '(1,2), (0,0)')→2

isclosed(đường dẫn) →Boolean

Đóng đường dẫn?

isclosed (đường dẫn '((0,0), (1,1), (2,0))')→T

isopen(đường dẫn) →Boolean

là đường dẫn mở?

isopen (đường dẫn '[(0,0), (1,1), (2,0)]')→T

LEGN(Geometric_type) →độ chính xác gấp đôi

Tính tổng chiều dài. Có sẵn choLSEG,Path.

length (path '((-1,0), (1,0))')→4

npoints(Geometric_type) →Số nguyên

Trả về số lượng điểm. Có sẵn chođường dẫn,Polygon.

npoints (đường dẫn '[(0,0), (1,1), (2,0)]')→3

pclose(đường dẫn) →đường dẫn

Chuyển đổi đường dẫn sang dạng đóng.

pclose (đường dẫn '[(0,0), (1,1), (2,0)]')→((0,0), (1,1), (2,0))

Popen(đường dẫn) →đường dẫn

Chuyển đổi đường dẫn sang biểu mẫu mở.

popen (đường dẫn '((0,0), (1,1), (2,0))')→[(0,0), (1,1), (2,0)]

RADIUS(Circle) →Double Precision

Tính bán kính của vòng tròn.

RADIUS (vòng tròn '<(0,0), 2')→2

Slope(point,điểm) →Double Precision

Tính độ dốc của một đường được vẽ qua hai điểm.

Độ dốc (điểm '(0,0)', điểm '(2,1)')→0.5

Width(Box) →Độ chính xác gấp đôi

Tính kèo bóng đá việt nam kích thước ngang của hộp.

Width (hộp '(1,2), (0,0)')→1

Box(Circle) →Box

Tính kèo bóng đá việt nam hộp được ghi trong vòng tròn.

hộp (vòng tròn '<(0,0), 2')→(1.414213562373095,1.414213562373095), (-1.414213562373095, -1.414213562373095)

Box(điểm) →Box

Chuyển đổi điểm thành hộp trống.

hộp (điểm '(1,0)')→(1,0), (1,0)

Box(điểm,điểm) →Box

Chuyển đổi bất kỳ hai điểm góc nào thành hộp.

hộp (điểm '(0,1)', điểm '(1,0)')→(1,1), (0,0)

Box(Polygon) →Box

Tính kèo bóng đá việt nam hộp giới hạn của đa giác.

hộp (polygon '((0,0), (1,1), (2,0))')→(2,1), (0,0)

Bound_box(Box,Box) →Box

Tính kèo bóng đá việt nam hộp giới hạn của hai hộp.

Bound_box (hộp '(1,1), (0,0)', hộp '(4,4), (3,3)')→(4,4), (0,0)

Circle(Box) →Circle

Tính kèo bóng đá việt nam hộp tròn nhỏ nhất.

vòng tròn (hộp '(1,1), (0,0)')→<(0.5,0,5), 0.7071067811865476

Circle(điểm,Độ chính xác gấp đôi) →Circle

Xây dựng vòng tròn từ trung tâm và bán kính.

vòng tròn (điểm '(0,0)', 2.0)→<(0,0), 2

Circle(Polygon52215_52222Circle

Chuyển đổi đa giác thành vòng tròn. Trung tâm của vòng tròn là trung bình của kèo bóng đá việt nam vị trí của kèo bóng đá việt nam điểm của đa giác và bán kính là khoảng cách trung bình của kèo bóng đá việt nam điểm của đa giác từ trung tâm đó.

Circle (Polygon '((0,0), (1,3), (2,0))')→<(1,1), 1.6094757082487299

Line(điểm,điểm) →Line

Chuyển đổi hai điểm thành dòng thông qua chúng.

dòng (điểm '(-1,0)', điểm '(1,0)')→0, -1,0

LSEG(Box) →LSEG

trích xuất đường chéo của hộp dưới dạng phân đoạn dòng.

lseg (hộp '(1,0), (-1,0)')→[(1,0), (-1,0)]

LSEG(điểm,điểm) →LSEG

Xây dựng phân đoạn dòng từ hai điểm cuối.

lseg (điểm '(-1,0)', điểm '(1,0)')→[(-1,0), (1,0)]

đường dẫn(Polygon) →đường dẫn

Chuyển đổi đa giác thành một đường dẫn đóng với cùng một danh sách kèo bóng đá việt nam điểm.

đường dẫn (polygon '((0,0), (1,1), (2,0))')→((0,0), (1,1), (2,0))

điểm(Double Precision,Double Precision) →điểm

Cấu trúc điểm từ tọa độ của nó.

Điểm (23.4, -44.5)→(23.4, -44.5)

điểm(Box) →điểm

Tính trung tâm của hộp.

điểm (hộp '(1,0), (-1,0)')→(0,0)

điểm(Circle) →điểm

Tính trung tâm của vòng tròn.

điểm (vòng tròn '<(0,0), 2')→(0,0)

điểm(LSEG) →điểm

Tính trung tâm của phân đoạn dòng.

điểm (lseg '[(-1,0), (1,0)]')→(0,0)

điểm(Polygon) →điểm

Tính trung tâm của đa giác (giá trị trung bình của kèo bóng đá việt nam vị trí của kèo bóng đá việt nam điểm của đa giác).

Point (Polygon '((0,0), (1,1), (2,0))')→(1.0.333333333333333)

Polygon(Box) →Polygon

Hộp chuyển đổi thành đa giác 4 ​​điểm.

Polygon (hộp '(1,1), (0,0)')→((0,0), (0,1), (1,1), (1,0))

Polygon(Circle) →Polygon

Chuyển đổi vòng tròn thành đa giác 12 điểm.

Polygon (Circle '<(0,0), 2')→((-2,0), (-1.732050807568874,0.99999999999999), (-1.00000000000002,732050807 2246063538223773e-16,2), (0.999999999999996,1.7320508075688774), (1.73205080756877,1.0000000000

Polygon(Số nguyên,Circle) →Polygon

Chuyển đổi vòng tròn thànhn-Point Polygon.

Polygon (4, Circle '<(3,0), 1')→((2,0), (3,1), (4.1.2246063538223773e-16), (3, -1))

Polygon(đường dẫn) →Polygon

Chuyển đổi đường dẫn đóng thành đa giác có cùng danh sách kèo bóng đá việt nam điểm.

Polygon (Path '((0,0), (1,1), (2,0))')→((0,0), (1,1), (2,0))