Mathematica'da f @ expr ve expr // f kullanarak farklı sonuçlar

Question

Prefix ve Postfix işleçleriyle (sırasıyla @ ve //) oynuyordum ve aşağıdaki soruna rastladım.

Aşağıdaki kod, aynı kesin bir şekilde değerlendirmek Verilen: Ben gerçekten çok emin değilim

FunctionExpand@Abs'[0] 
(* Abs'[0] *) 

Abs'[0] // FunctionExpand 
(* 0 *) 

:

Hold[MatrixPlot@Sort@data] // FullForm 
(* Hold[MatrixPlot[Sort[data]]] *) 

Hold[data // Sort // MatrixPlot] // FullForm 
(* Hold[MatrixPlot[Sort[data]]] *) 

Ancak şu ifadelere yer verildi, ben farklı sonuçlar elde neden bu. Sahip olduğum diğer kod parçacıkları içinde, f@expr, expr // f ve f[expr] hepsi aynı sonucu değerlendirir. Bu özel durum neden bu sonucu veriyor?

Answer 1

Bu bir öncelikli sorun. @, // 'den daha yüksek önceliğe sahiptir. Neler olup bittiğini görmek için, imleci her iki durumda FunctionExpand'a yerleştirin, sonra cmd +. (OS X'de) veya ctrl +. başka bir şey üzerinde, ve önceliğe göre şeyleri seçmeye son verirsin.

bir başka yolu da Trace kullanmaktır görmek için: İlk vaka MMA ilk sonra, Abs elde devam FunctionExpand[Abs] değerlendirir nasıl

FunctionExpand@Abs'[0] // Trace 
(* 
-> {{{FunctionExpand[Abs],Abs},Abs^\[Prime]},(Abs^\[Prime])[0]} 
*) 

Özellikle

Abs'[0] // FunctionExpand//Trace 
(* 
-> {FunctionExpand[(Abs^\[Prime])[0]],0} 
*) 

ederken, dikkat edin. Bu tam olarak @'un // ile karşılaştırıldığında ne kadar güçlü bağlandığından kaynaklanmaktadır.

DÜZENLEME: Leonid'in comment @ esinlenmiş bu da bilgilendirici: ne olup bittiğini çok daha iyi tanıtımdır

Hold[FunctionExpand@Abs'[0]] // FullForm 
Hold[Abs'[0] // FunctionExpand] // FullForm 
(* 
-> Hold[Derivative[1][FunctionExpand[Abs]][0]] 
    Hold[FunctionExpand[Derivative[1][Abs][0]]] 
*) 

.