public protocol EuclideanDifferentiable : Differentiableประเภทที่สามารถหาความแตกต่างได้ในปริภูมิแบบยุคลิด ประเภทอาจแสดงถึงปริภูมิเวกเตอร์ หรือประกอบด้วยปริภูมิเวกเตอร์และส่วนประกอบอื่นๆ ที่ไม่สามารถหาความแตกต่างได้
ในทางคณิตศาสตร์ สิ่งนี้แสดงถึงผลิตภัณฑ์ที่หลากหลายที่ประกอบด้วยปริภูมิเวกเตอร์ที่สามารถหาอนุพันธ์ได้และท่อร่วมเวกเตอร์บางส่วน โดยที่มัดแทนเจนต์ของท่อร่วมผลิตภัณฑ์ทั้งหมดเท่ากับส่วนประกอบของปริภูมิเวกเตอร์
นามธรรมนี้มีประโยชน์ในการแสดงโครงสร้างข้อมูลที่หาอนุพันธ์ทั่วไปได้ซึ่งมีทั้งคุณสมบัติเวกเตอร์ที่หาอนุพันธ์ได้และคุณสมบัติที่เก็บไว้อื่นๆ ที่ไม่มีอนุพันธ์ เช่น
struct Perceptron: @memberwise EuclideanDifferentiable {
var weight: SIMD16<Float>
var bias: Float
@noDerivative var useBias: Bool
}
บันทึก
กำหนดประเภทเป็นEuclideanDifferentiable หากสามารถหาอนุพันธ์ได้เฉพาะด้วยความเคารพต่อส่วนประกอบของปริภูมิเวกเตอร์ และเมื่อ TangentVector เท่ากับส่วนประกอบของปริภูมิเวกเตอร์ องค์ประกอบเวกเตอร์เชิงอนุพันธ์ของ
selfคำประกาศ
var differentiableVectorView: TangentVector { get }