initial

Author: JPryce-Aklundh

modules/ROOT/content-nav.adoc

@@ -61,6 +61,7 @@
 ** xref::values-and-types/spatial.adoc[]
 ** xref::values-and-types/lists.adoc[]
 ** xref::values-and-types/maps.adoc[]
+** xref::values-and-types/vector.adoc[]
 ** xref:values-and-types/graph-references.adoc[]
 ** xref::values-and-types/working-with-null.adoc[]
 ** xref::values-and-types/casting-data.adoc[]

modules/ROOT/pages/constraints/managing-constraints.adoc

@@ -401,6 +401,7 @@ The allowed property types for property type constraints are:
 * `ZONED DATETIME`
 * `DURATION`
 * `POINT`
+* `VECTOR<TYPE>(DIMENSION)` label:new[Introduced in Neo4j 2025.mm]
 * `LIST<BOOLEAN NOT NULL>`
 * `LIST<STRING NOT NULL>`
 * `LIST<INTEGER NOT NULL>`

modules/ROOT/pages/functions/index.adoc

@@ -167,13 +167,13 @@ Converts a `LIST<ANY>` of values to a `LIST<BOOLEAN>` values.
 If any values are not convertible to `BOOLEAN` they will be null in the `LIST<BOOLEAN>` returned.
 
 1.1+| xref::functions/list.adoc#functions-tofloatlist[`toFloatList()`]
-| `toFloatList(input :: LIST<ANY>) :: LIST<FLOAT>`
+| `toFloatList(input :: VECTOR \| LIST<ANY>) :: LIST<FLOAT>`
 a|
 Converts a `LIST<ANY>` to a `LIST<FLOAT>` values.
 If any values are not convertible to `FLOAT` they will be null in the `LIST<FLOAT>` returned.
 
 1.1+| xref::functions/list.adoc#functions-tointegerlist[`toIntegerList()`]
-| `toIntegerList(input :: LIST<ANY>) :: LIST<INTEGER>`
+| `toIntegerList(input :: VECTOR \| LIST<ANY>) :: LIST<INTEGER>`
 a|
 Converts a `LIST<ANY>` to a `LIST<INTEGER>` values.
 If any values are not convertible to `INTEGER` they will be null in the `LIST<INTEGER>` returned.
@@ -791,12 +791,29 @@ Vector functions allow you to compute the similarity scores of vector pairs.
 |===
 | Function | Signature | Description
 
+1.1+| xref::functions/vector.adoc#functions-vector[`vector()`]
+| `vector(vectorValue :: STRING \| LIST<INTEGER \| FLOAT>, dimension :: INTEGER, coordinateType :: [INTEGER64, INTEGER32, INTEGER16, INTEGER8, FLOAT64, FLOAT32]) :: VECTOR`
+| label:new[Introduced in Neo4j 2025.xx]
+
 1.1+| xref::functions/vector.adoc#functions-similarity-cosine[`vector.similarity.cosine()`]
-| `vector.similarity.cosine(a :: LIST<INTEGER \| FLOAT>, b :: LIST<INTEGER \| FLOAT>) :: FLOAT`
+| `vector.similarity.cosine(a :: VECTOR \| LIST<INTEGER \| FLOAT>, b :: VECTOR \| LIST<INTEGER \| FLOAT>) :: FLOAT`
 | Returns a `FLOAT` representing the similarity between the argument vectors based on their cosine.
 
 1.1+| xref::functions/vector.adoc#functions-similarity-euclidean[`vector.similarity.euclidean()`]
-| `vector.similarity.euclidean(a :: LIST<INTEGER \| FLOAT>, b :: LIST<INTEGER \| FLOAT>) :: FLOAT`
+| `vector.similarity.euclidean(a :: VECTOR \| LIST<INTEGER \| FLOAT>, b :: VECTOR \| LIST<INTEGER \| FLOAT>) :: FLOAT`
 | Returns a `FLOAT` representing the similarity between the argument vectors based on their Euclidean distance.
 
+1.1+| xref::functions/vector.adoc#functions-vector_dimension_count[`vector_dimension_count()`]
+| `(vector :: VECTOR) :: INTEGER`
+| Calculates the size of a vector. label:new[Introduced in Neo4j 2025.xx]
+
+1.1+| xref::functions/vector.adoc#functions-vector_distance[`vector_distance()`]
+| `(vector1 :: VECTOR, vector2 :: VECTOR, vectorDistanceMetric :: [EUCLIDEAN, EUCLIDEAN_SQUARED, MANHATTAN, COSINE, DOT, HAMMING]) :: FLOAT`
+| Returns a `FLOAT` representing the distance between the two vector values based on the selected `vectorDistanceMetric` algorithm. label:new[Introduced in Neo4j 2025.xx]
+
+1.1+| xref::functions/vector.adoc#functions-vector_norm[`vector_norm()`]
+| `vector_norm(vector :: VECTOR, vectorDistanceMetric :: [EUCLIDEAN, MANHATTAN]) :: FLOAT`
+| Returns a `FLOAT` representing the distance between the given vector and a vector of the same dimension with all coordinates set to zero, calculated using the specified `vectorDistanceMetric`. label:new[Introduced in Neo4j 2025.xx]
+
 |===
+

modules/ROOT/pages/functions/list.adoc

@@ -433,7 +433,7 @@ The property named `likedColors` and a `LIST<ANY>` comprising all but the first
 | Any `BOOLEAN` value in `input` is preserved.
 | If the `input` is `null`, `null` will be returned.
 | If the `input` is not a `LIST<ANY>`, an error will be returned.
-| The conversion for each value in `list` is done according to the xref::functions/scalar.adoc#functions-tobooleanornull[`toBooleanOrNull()` function].
+| The conversion for each value in `input` is done according to the xref::functions/scalar.adoc#functions-tobooleanornull[`toBooleanOrNull()` function].
 
 |===
 
@@ -470,19 +470,20 @@ toBooleanList(['a string', true, 'false', null, ['A','B']]) as mixedList
 .Details
 |===
 | *Syntax* 3+| `toFloatList(input)`
-| *Description* 3+| Converts a `LIST<ANY>` to a `LIST<FLOAT>` values. If any values are not convertible to `FLOAT` they will be null in the `LIST<FLOAT>` returned.
+| *Description* 3+| Converts a `LIST<ANY>` or a `VECTOR` to a `LIST<FLOAT>` values. If any values are not convertible to `FLOAT` they will be null in the `LIST<FLOAT>` returned.
 .2+| *Arguments* | *Name* | *Type* | *Description*
-| `input` | `LIST<ANY>` | A list of values to be converted into a list of floats.
+| `input` | `VECTOR` \| `LIST<ANY>` | A list of values or a vector value to be converted into a list of floats.
 | *Returns* 3+| `LIST<FLOAT>`
 |===
 
 .Considerations
 |===
 
-| Any `null` element in `list` is preserved.
-| Any `FLOAT` value in `list` is preserved.
+| Any `null` element in `input` is preserved.
+| Any `FLOAT` value in `input` is preserved.
 | If the `input` is `null`, `null` will be returned.
-| If the `input` is not a `LIST<ANY>`, an error will be returned.
+| If the `input` is not a `VECTOR` or `LIST<ANY>`, an error will be returned.
+| `input` accepts `VECTOR` values as of Neo4j 2025.xx
 | The conversion for each value in `input` is done according to the xref::functions/scalar.adoc#functions-tofloatornull[`toFloatOrNull()` function].
 
 |===
@@ -520,9 +521,9 @@ toFloatList(['a string', 2.5, '3.14159', null, ['A','B']]) as mixedList
 .Details
 |===
 | *Syntax* 3+| `toIntegerList(input)`
-| *Description* 3+| Converts a `LIST<ANY>` to a `LIST<INTEGER>` values. If any values are not convertible to `INTEGER` they will be null in the `LIST<INTEGER>` returned.
+| *Description* 3+| Converts a `LIST<ANY>` or a `VECTOR` to a `LIST<INTEGER>` values. If any values are not convertible to `INTEGER` they will be null in the `LIST<INTEGER>` returned.
 .2+| *Arguments* | *Name* | *Type* | *Description*
-| `input` | `LIST<ANY>` | A list of values to be converted into a list of integers.
+| `input` | `VECTOR` \| `LIST<ANY>` | A list of values or a vector value to be converted into a list of integers.
 | *Returns* 3+| `LIST<INTEGER>`
 |===
 
@@ -532,7 +533,8 @@ toFloatList(['a string', 2.5, '3.14159', null, ['A','B']]) as mixedList
 | Any `null` element in `input` is preserved.
 | Any `INTEGER` value in `input` is preserved.
 | If the `input` is `null`, `null` will be returned.
-| If the `input` is not a `LIST<ANY>`, an error will be returned.
+| If the `input` is not a `VECTOR` or a `LIST<ANY>`, an error will be returned.
+| `input` accepts `VECTOR` values as of Neo4j 2025.xx
 | The conversion for each value in `list` is done according to the xref::functions/scalar.adoc#functions-tointegerornull[`toIntegerOrNull()` function].
 
 |===
@@ -579,11 +581,11 @@ toIntegerList(['a string', 2, '5', null, ['A','B']]) as mixedList
 .Considerations
 |===
 
-| Any `null` element in `list` is preserved.
-| Any `STRING` value in `list` is preserved.
-| If the `list` is `null`, `null` will be returned.
-| If the `list` is not a `LIST<ANY>`, an error will be returned.
-| The conversion for each value in `list` is done according to the xref::functions/string.adoc#functions-tostringornull[`toStringOrNull()` function].
+| Any `null` element in `input` is preserved.
+| Any `STRING` value in `input` is preserved.
+| If the `input` is `null`, `null` will be returned.
+| If the `input` is not a `LIST<ANY>`, an error will be returned.
+| The conversion for each value in `input` is done according to the xref::functions/string.adoc#functions-tostringornull[`toStringOrNull()` function].
 
 |===
 

modules/ROOT/pages/functions/vector.adoc

@@ -6,8 +6,11 @@
 [[query-functions-vector]]
 = Vector functions
 
-Vector functions allow you to compute the similarity scores of vector pairs.
-These vector similarity functions are identical to those used by Neo4j's {link-vector-indexes}[vector search indexes].
+Vector functions allow you to create `VECTOR` values, compute the similarity scores of vector pairs, and calculate the size of a vector.
+
+[role=label--new-2025.xx]
+[[functions-vector]]
+== vector()
 
 
 [[functions-similarity-cosine]]
@@ -18,8 +21,8 @@ These vector similarity functions are identical to those used by Neo4j's {link-v
 | *Syntax* 3+| `vector.similarity.cosine(a, b)`
 | *Description* 3+| Returns a `FLOAT` representing the similarity between the argument vectors based on their cosine.
 .3+| *Arguments* | *Name* | *Type* | *Description*
-| `a` | `LIST<INTEGER \| FLOAT>` | A list representing the first vector.
-| `b` | `LIST<INTEGER \| FLOAT>` | A list representing the second vector.
+| `a` | `VECTOR` \| `LIST<INTEGER \| FLOAT>` | A list representing the first vector.
+| `b` | `VECTOR` \| `LIST<INTEGER \| FLOAT>` | A list representing the second vector.
 | *Returns* 3+| `FLOAT`
 |===
 
@@ -36,6 +39,7 @@ For more details, see the {link-vector-indexes}#similarity-functions[vector inde
 | The implementation is identical to that of the latest available vector index provider (`vector-2.0`).
 | `vector.similarity.cosine()` returns the neighborhood of nodes along with their respective cosine similarity scores, sorted in descending order of similarity.
 The similarity score range from `0` and `1`, with scores closer to `1` indicating a higher degree of similarity between the indexed vector and the query vector.
+| The input arguments `a` and `b` accept `VECTOR` values as of Neo4j 2025.xx.
 
 |===
 
@@ -48,8 +52,8 @@ The similarity score range from `0` and `1`, with scores closer to `1` indicatin
 | *Syntax* 3+| `vector.similarity.euclidean(a, b)`
 | *Description* 3+| Returns a `FLOAT` representing the similarity between the argument vectors based on their Euclidean distance.
 .3+| *Arguments* | *Name* | *Type* | *Description*
-| `a` | `LIST<INTEGER \| FLOAT>` | A list representing the first vector.
-| `b` | `LIST<INTEGER \| FLOAT>` | A list representing the second vector.
+| `a` | `VECTOR` \| `LIST<INTEGER \| FLOAT>` | A list representing the first vector.
+| `b` | `VECTOR` \| `LIST<INTEGER \| FLOAT>` | A list representing the second vector.
 | *Returns* 3+| `FLOAT`
 |===
 
@@ -66,6 +70,7 @@ For more details, see the {link-vector-indexes}#similarity-functions[vector inde
 | The implementation is identical to that of the latest available vector index provider (`vector-2.0`).
 | `vector.similarity.euclidean()` returns the neighborhood of nodes along with their respective Euclidean similarity scores, sorted in descending order of similarity.
 The similarity score range from `0` and `1`, with scores closer to `1` indicating a higher degree of similarity between the indexed vector and the query vector.
+| The input arguments `a` and `b` accept `VECTOR` values as of Neo4j 2025.xx.
 
 |===
 
@@ -124,4 +129,24 @@ This returns the two nearest neighbors.
 
 ======
 
+[role=label--new-2025.xx]
+[[functions-vector_dimension_count]]
+== vector_dimension_count()
+
+* `(vector :: VECTOR) :: INTEGER`
+* Calculates the size of a vector.
+
+[role=label--new-2025.xx]
+[[functions-vector_distance]]
+== vector_distance()
+
+* `(vector1 :: VECTOR, vector2 :: VECTOR, vectorDistanceMetric :: [EUCLIDEAN, EUCLIDEAN_SQUARED, MANHATTAN, COSINE, DOT, HAMMING]) :: FLOAT`
+* Returns a `FLOAT` representing the distance between the two vector values based on the selected `vectorDistanceMetric` algorithm.
+
+
+[role=label--new-2025.xx]
+[[functions-vector_norm]]
+== vector_norm()
 
+* `vector_norm(vector :: VECTOR, vectorDistanceMetric :: [EUCLIDEAN, MANHATTAN]) :: FLOAT`
+* Returns a `FLOAT` representing the distance between the given vector and a vector of the same dimension with all coordinates set to zero, calculated using the specified `vectorDistanceMetric`.

modules/ROOT/pages/values-and-types/casting-data.adoc

@@ -13,7 +13,7 @@ The following functions are available for casting data values:
 |===
 | Function | Description
 
-| toBoolean() | Converts a `STRING`, `INTEGER`, or `BOOLEAN` value to a `BOOLEAN` value.
+| xref:functions/list.adoc#functions-toboolean[`toBoolean()`] | Converts a `STRING`, `INTEGER`, or `BOOLEAN` value to a `BOOLEAN` value.
 
 | toBooleanList() | Converts a `LIST<ANY>` and returns a `LIST<BOOLEAN>` values.
 If any values are not convertible to `BOOLEAN` they will be `null` in the `LIST<BOOLEAN>` returned.
@@ -24,15 +24,15 @@ For any other input value, `null` will be returned.
 | toFloat() | Converts an `INTEGER`, `FLOAT`, or a `STRING` value to a `FLOAT` value.
 Otherwise `null` is returned.
 
-| toFloatList() | Converts a `LIST<ANY>` and returns a `LIST<FLOAT>` values.
+| toFloatList() | Converts a `LIST<ANY>` or, as of Neo4j 2025.xx, a `VECTOR` and returns a `LIST<FLOAT>` values.
 If any values are not convertible to `FLOAT` they will be `null` in the `LIST<FLOAT>` returned.
 
 | toFloatOrNull() | Converts an `INTEGER`, `FLOAT`, or a `STRING` value to a `FLOAT`.
 For any other input value, `null` will be returned.
 
 | toInteger() | Converts a `BOOLEAN`, `INTEGER`, `FLOAT` or a `STRING` value to an `INTEGER` value.
 
-| toIntegerList() | Converts a `LIST<ANY>` to a `LIST<INTEGER>` values. If any values are not convertible to `INTEGER` they will be null in the `LIST<INTEGER>` returned.
+| toIntegerList() | Converts a `LIST<ANY>` or, as of Neo4j 2025.xx, a `VECTOR` to a `LIST<INTEGER>` values. If any values are not convertible to `INTEGER` they will be null in the `LIST<INTEGER>` returned.
 
 | toIntegerOrNull() | Converts a `BOOLEAN`, `INTEGER`, `FLOAT` or a `STRING` value to an `INTEGER` value.
 For any other input value, `null` will be returned.

modules/ROOT/pages/values-and-types/index.adoc

@@ -7,12 +7,13 @@ Rather, Cypher will automatically infer the data type of a given value.
 
 More information about the data values and types supported by Cypher can be found in the following sections:
 
-* xref::values-and-types/property-structural-constructed.adoc[]
+* xref:values-and-types/property-structural-constructed.adoc[]
 * xref:values-and-types/boolean-numeric-string.adoc[]
 * xref::values-and-types/temporal.adoc[]
-* xref::values-and-types/spatial.adoc[]
-* xref::values-and-types/lists.adoc[]
-* xref::values-and-types/maps.adoc[]
+* xref:values-and-types/spatial.adoc[]
+* xref:values-and-types/lists.adoc[]
+* xref:values-and-types/maps.adoc[]
+* xref:values-and-types/vector.adoc[] label:new[Introduced in Neo4j 2025.xx]
 * xref:values-and-types/graph-references.adoc[]
 * xref::values-and-types/working-with-null.adoc[]
 * xref::values-and-types/casting-data.adoc[]

modules/ROOT/pages/values-and-types/ordering-equality-comparison.adoc

@@ -48,13 +48,14 @@ Values of different types are ordered based on a predefined hierarchy, from leas
 * xref::values-and-types/property-structural-constructed.adoc#structural-types[`RELATIONSHIP`]
 * xref::values-and-types/lists.adoc[`LIST`]
 * xref::patterns/fixed-length-patterns.adoc#path-patterns[`PATH`]
+* xref::values-and-types/vector.adoc[`VECTOR`] label:new[Introduced in Neo4j 2025.xx]
+* xref::values-and-types/spatial.adoc[`POINT`]
 * xref::values-and-types/temporal.adoc[`ZONED DATETIME`]
 * xref::values-and-types/temporal.adoc[`LOCAL DATETIME`]
 * xref::values-and-types/temporal.adoc[`DATE`]
 * xref::values-and-types/temporal.adoc[`ZONED TIME`]
 * xref::values-and-types/temporal.adoc[`LOCAL TIME`]
 * xref::values-and-types/temporal.adoc[`DURATION`]
-* xref::values-and-types/spatial.adoc[`POINT`]
 * xref::values-and-types/property-structural-constructed.adoc[`STRING`]
 * xref::values-and-types/property-structural-constructed.adoc[`BOOLEAN`]
 * Numbers: xref:values-and-types/property-structural-constructed.adoc[`INTEGER`, `FLOAT`]
@@ -144,3 +145,12 @@ If they have the same time and offset but different named time zones, they are s
 * Duration values cannot be directly compared.
 Since the length of a day, month, or year varies, Cypher does not define a strict ordering for durations.
 As a result, comparing two durations `(e.g, duration1 < duration2)` will always return `null`.
+
+[[ordering-vector]]
+=== Ordering vector values
+
+Similar to spatial values, vectors cannot be compared using the operators (<, >, >= and <=)
+
+Vectors of different coordinate type values are ordered by the coordinate type, this means the current order is: INTEGER8, INTEGER16, INTEGER32, INTEGER64, FLOAT32, FLOAT64
+Within the same coordinate type, vectors are then ordered by their dimension, with smaller first (e.g Vector(1024) before Vector(2048)).
+Vectors of the same coordinate type and dimension are then ordered pairwise (similar to how lists are ordered e.g Vector([1, 2]) is ordered before a Vector([2, 1])).